PPC 85xx QEMU: Make a generic board file