acrn-kernel/arch/powerpc/sysdev/Kconfig