[Arm-netbook] Development boards for GuixSD Developers