Yes, v42 (without uboot) and v45 (with uboot). Or as Matan said above, you can make your kernel image without uboot.