Update kernel config to fix the build

also delete extra backup BoardConfig.mk