Define BOARD_KERNEL_PAGESIZE