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?