UEFI is also ported to ARM64 and officially supported by Windows on compatible boards.