[ARM] head.S change broke platform device registration?

On Mon, Dec 10, 2012 at 06:23:44PM +0100, Marko Kati? wrote:

quoted

I've posted a separate patch which ought to accomplish the appropriate
change to safe_svc_maskall
([PATCH] ARM: head: Remove boot-time HYP mode check for v5 and below)

I've done a compile-disassemble sanity-check for v5 and v7 to make sure
that the results are sane, but I can't check whether it fixed the
problem for the affected hardware.

Marko, can you give it a try?

Cheers
---Dave

Yes, your patch fixes the problem. With this patch the kernel boots with the
correct machine ID.

OK, that gives us confidence that this patch is useful.  I'll send it to
Russell's patch system so that he can decide about merging it.

If you can get any more detail about what exactly is going on here, that
would still be useful though.  I still suspect that this patch should
not be needed... but I'm happy to be proved wrong if the real cause is
found.  

Cheers
---Dave