Is there a way to get BootX to work with compressed kernels? BTW, zvmlinux is from `make zImage` and in arch/ppc/boot