vivo: Fix the values of BOARD_KERNEL_BASE and BOARD_KERNEL_PAGE_SIZE.