Fix some defconfig entries