Ah right. Not running that though, since I'm getting a pretty solid 780-790 Mh/s out of the shipped firmware, and I wasn't certain how to flash on a pi....