I long for the day we can buy proper ATX-sized arm boards. This is nice and all but arm can do way more, and without all that historic 16/32 bit mode clutter x86 has for compatibility.
You can buy mini-ITX sized ones from SolidRun. They even run open source firmware (EDK2) that exposes most things as generic ACPI hardware.. well there's still quirks and hardware bugs of course :D
Well, commercial vendors usually use AMI's modified version that has a proprietary fancy setup UI and whatever other crap. But for hobbyist custom firmware (these ARM systems, Chromebooks, etc) completely raw upstream EDK2 is totally fine.