Raspberry Pi port, piCore-14.0 is available!
Replace bzImage with vmlinuz in your boot config file.
As a quick fix, copy the kernel to /netboot/bzImage, and restart the servers.