Cleanup BoardConfig.mk

Also, set up to use inline kernel building instead of prebuilt