If the device has the "ARM System Ready" certification it will run most linux distros just by using an arm build, similar to amd64.
Tianocore/EDK2 also supports many devices and adds a BIOS/UEFI that is similar to the BIOS you'd see on your typical amd64 mainboard.