@vdp:
FYI, the settings I'm using with ct-ng defaults to the 'hard' float-abi (if gcc -Q -v is to be trusted, which it should ^^), and that seems to work ok (so far? The ARM attributes seems to be missing from the K3 binaries, so I can't say for sure which ABI the K3 system was built for. On the other hand, the hard float ABI seems to have been properly introduced only somewhere around GCC 4.5, so I'm a bit confused. Also, not sure it matters that much on an armv6 chip. But, yeah, the K4 *looks* like it's using softfp.)

.
So, err, I'll go with 'it seems to work fine for now', and we'll see if I manage to break stuff in new & interesting ways when I get my hands on a Kindle running on a Cortex!

.