Jiang Liu wrote on 09/11/15 18:22:
> Hi Arthur,
> 	Could you please help to try the attached test patch?
> Thanks,
> Gerry
>

Thanks, I applied the patch, rebuilt and installed the resulting kernel 
and it booted fine.

dmesg output from booting with this patch applied attached.

Arthur.