feature(pmap): define VADDR_KERN in makefile #1947

Job	Run time
call-ci / build (armv7a7-imx6ull-evk)	1s
call-ci / build (armv7a9-zynq7000-qemu)	35s
call-ci / build (armv7a9-zynq7000-zedboard)	36s
call-ci / build (armv7a9-zynq7000-zturn)	33s
call-ci / build (armv7m4-stm32l4x6-nucleo)	36s
call-ci / build (armv7m7-imxrt105x-evk)	36s
call-ci / build (armv7m7-imxrt106x-evk)	34s
call-ci / build (armv7m7-imxrt117x-evk)	3s
call-ci / build (host-generic-pc)	50s
call-ci / build (ia32-generic-pc)	36s
call-ci / build (ia32-generic-qemu)	34s
call-ci / build (riscv64-generic-qemu)	1s
call-ci / build (riscv64-generic-spike)	38s
call-ci / build (sparcv8leon3-gr716-mini)	36s
call-ci / test EMU	0s
call-ci / test HW	0s
call-ci / tests-summary	17s
call-ci / send-notification	0s
	7m 6s

Provide feedback