Or you can, you know, make your own kernel image of uboot+power47. If I could do it with the horrible newb-ness I was at when I learned how to, everyone else can too.