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

[Dave Martin]

On Mon, Dec 10, 2012 at 06:23:44PM +0100, Marko Katić wrote:
> > 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