Marc Bowes wrote:
> Ok. Just keep me informed :)

Please test the attached patch and report the resulting boot log.  Oh
and please turn on CONFIG_PRINTK_TIME.

Thanks.

-- 
tejun