> > Fengguang, I do not think this will help, but just in case. Could you
> > show the result of
> > 
> >         $ kernel/task_work.s

Update: I recompiled the kernel with gcc 4.4.7 and find it booting fine!

Attached is the new kernel/task_work.s.

Thanks,
Fengguang