acrn-kernel/arch/powerpc/boot/fixup-headers.sed