BoardConfig.mk: Use EOS kernel config