On Mon, 16 Jan 2012 22:02:38 +1030, Rusty Russell <rusty at rustcorp.com.au> wrote: > Please send (off-list) your .config if you haven't solved this already. Hmm, CONFIG_OLPC causes problems; it tries to move %cr3 to %eax. If you have that turned on, try turning it off. Thanks! Rusty.