I looked at that, and downloaded it, but there was no information on how to build it. Fimage is apparently only for x64 chips, not the rpi arm.