a3: add custom boot.mk for kernels with header