CONFIG_PPC_OF_BOOT_TRAMPOLINE  123 arch/powerpc/kernel/head_32.S #ifdef CONFIG_PPC_OF_BOOT_TRAMPOLINE
CONFIG_PPC_OF_BOOT_TRAMPOLINE  541 arch/powerpc/kernel/head_64.S #ifdef CONFIG_PPC_OF_BOOT_TRAMPOLINE