I was playing with a TS-7250 board a few months and getting a bootable kernel and a full distro in a USB device. All worked fine with RedBoot, no problems so far. But QEmu refuses to boot with the same kernel image.