original_kernel/arch/powerpc/configs/guest.config