PPC_PLATFORM_U_BOOT
gKernelArgs.arch_args.platform = PPC_PLATFORM_U_BOOT;
: PPCPlatform(PPC_PLATFORM_U_BOOT),
case PPC_PLATFORM_U_BOOT: