BoardConfig.mk: fix kernel config