Move custom kernel building to BoardConfig.mk