BoardConfig.mk: fix kernel command line