Stubbed EFI versions of headers platform_kernel_args.h and platform_stage2_args.h.