fix BOARD_KERNEL_CMDLINE

Change-Id: I1b5d7e0cc4385ff8e80e7b99edfc3dfd66703f03