Delete duplicate BOARD_KERNEL_PAGESIZE