Me got no pi, no 0.4, no 4.0.1 that sees my BJ
Then you in serious poo
Actually, my BabyJet is hashing about 400 GH/s when overclocked between 600 MHz and 612 MHz. It would probably be more, but it keeps disconnecting every 10 - 20 minutes. Fortunately, the hotplug feature in cgminer 4.0.0 finds it again within seconds.
I've Emailed HashFast a couple of times about the Pi. My latest Email was about simply sending me a firmware loader.
All of this has given me a chance to brush-up on my *nix skills. I haven't messed with this stuff in 20+ years... It's actually been kinda fun. Twenty years ago, there was no such thing as github...
Just a suggestion since you have the programming skills - why not try one of the programs to emulate the RPi on a desktop while you wait for Hashfast to never get back to you?
This one seems promising: http://xecdesign.com/qemu-emulating-raspberry-pi-the-easy-way/