Yes. Newer U-Boot support booting from zImage (using command "bootz" on the
U-Boot prompt).

Nixos specifies a kernel target, is this necessary or are all arm kernels
using zImage now?