BoardConfig : Use correct BOARD_KERNEL_PAGESIZE
* Incorrect value will probably cause the rom to not boot