Marvell MacchiatoBIN, Overdrive 3000, Gigabyte MT30-GS2 (ThunderX), Gigabyte R120-P31 (X-Gene1)