[coreboot] Simple non-Linux payload for checking ARM devices (QEMU)