The package, kernel-image, depends on uboot-image.

The dummy package, kernel-image, installed in the firmware does not
depend on uboot-image.
Set PATCHLEVEL to 4 for AX3.