#include <grub/powerpc/ieee1275/kernel.h>

#define GRUB_KERNEL_MACHINE_PREFIX	0x2
#define GRUB_KERNEL_MACHINE_DATA_END	0x42