고객님이 문의하신 내용은 저희가
시험해 보지 못했었음을 자수 합니다. ㅜㅜ

그런데요...

이지부트에서 안되면 커널도 안될 겁니다.
왜냐 하면
이지부트에서 사용하는 printf가
커널에서 사용하는 printf거든요..
정확히 말하면 printk 죠..

이 말은 커널에서는 지원하지 않는다는 말인데...

만약 지원하게 하시려면
커널 소스(이지부트소스)를 glibc 소스를 보시고 수정하셔야 할것 같네요...
그리 쉬운일은 아닐듯

커널이 부동소수점을 지원하지 않는지 몰랐었네요.. 흑...
고객님 덕분에 깨달았어요..