CONFIG_PPC_OF_BOOT_TRAMPOLINE=y