Tools to build Raspberry Pi image with Fedora remix