change BOARD_KERNEL_CMDLINE by stock