Fix BOARD_KERNEL_BASE