CONFIG_PPC64=y
CONFIG_PPC_BOOK3S_64=y
CONFIG_ALTIVEC=y
CONFIG_POWER7_CPU=y
CONFIG_PPC_BOOK3S=y
CONFIG_PPC_FPU=y
CONFIG_PPC_STD_MMU=y
CONFIG_PPC_STD_MMU_64=y
CONFIG_PPC_DOORBELL=y
CONFIG_PPC_OF=y
CONFIG_PPC_UDBG_16550=y
CONFIG_PPC_PSERIES=y
CONFIG_PSERIES_MSI=y
CONFIG_PPC_NATIVE=y
CONFIG_PPC_OF_BOOT_TRAMPOLINE=y
CONFIG_MPIC=y
CONFIG_PPC_I8259=y
CONFIG_PPC_RTAS=y
CONFIG_IBMVIO=y
CONFIG_EEH=y
CONFIG_PPC_4K_PAGES=y
CONFIG_PPC_PCI_CHOICE=y
CONFIG_HVC_DRIVER=y
CONFIG_HVC_IRQ=y
CONFIG_HVC_CONSOLE=y
CONFIG_HVC_UDBG=y
CONFIG_PRINTK=y
CONFIG_SECTION_MISMATCH_WARN_ONLY=y