Errm, while I think raspberry pi will run hardfloat binaries, *but* it is just a ARMv6 core (as opposed to the newer Kindles which have an ARMv7)! A Raspberry Pi is certainly great fun, but this might be a reason to check out other boards, too. Just an example, as there are many more, the Olimex' A... boards:
https://www.olimex.com/Products/OLinuXino/A10/