m4: Update BOARD_KERNEL_BASE