BoardConfig.mk: enable kernel compiling