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

[Marko Katić]

> 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.