BoardConfig.mk: use prebuilt kernel for now