#include <grub/powerpc/ieee1275/kernel.h>
#define GRUB_KERNEL_MACHINE_PREFIX 0x2
#define GRUB_KERNEL_MACHINE_DATA_END 0x42