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.