Buildds and hardware

• Mostly relying on dev boards still for 32-bit:
• Marvell Armada XP (v7)
• Freescale imx53 (v7) porter box
• arm64 machine options
• Issues
• New hardware? Real servers?