QEMU boot kernel for ppc e300c3 problem