hopefully a booting defconfig for the kernel