nach dem, was ich schon alles bei UEFI gesehen habe (bei mehreren Herstellern, ich hatte meine erste Berührung damit mit den rx-Itaniums von HP, Mitte/Ende der 2000er), könnte man meinen es gibt a) entweder Interpretationsspielraum bei den UEFI Spezifikationen oder b) es wurde wie üblich...