config.txt
device_tree=bcm2835-rpi-zero.dtb
Result:
Uncompressing Linux... done, booting the kernel.
Error: unrecognized/unsupported machine ID (r1 = 0x00000c42).
Available machine support:
ID (hex) NAME
ffffffff Generic DT based system
ffffffff BCM2835
Please check your kernel config and/or bootloader.
This however boots fine:
device_tree=bcm2835-rpi-b-plus.dtb
I used fdtdump and compared the two dtbs, it looked fine to me: https://gist.github.com/notro/c137159039ae26f690862821b1dc8c1a
Tried this on both a Zero and a B+.
I haven't tagged the kernel.
Kernel and dtb: http://tronnes.org/downloads/bcm2835-rpi-zero.tar.gz