Fix BOARD_KERNEL_CMDLINE error