It's technically possible but we don't have the hardware or the kind of experience we already had with the x86 Linux build process right now to say one way or the other. If we pick up a Raspberry Pi at some point we'll certainly give it a try.