TESTING: Use BOARD_KERNEL_CMDLINE from celox-common