Таким образом, это максимум половина ответа, но:
GUID, в конечном счете, является ничем иным, как 128-битным значением, статистически гарантированно уникальным (если оно генерируется с использованием определенного метода).
В разделе [Guids] .dec определены идентификаторы GUID, которые указывают на общие структуры данных, пространства имен переменных, вещи ...
В разделе [Protocols] определяются обнаруживаемые API-интерфейсы UEFI, тогда как [Ppis] определяет API PEI (Pre-EFI).
В конечном счете, это становится актуальным при обработке файлов модуля .inf, в которых объявляется, какие [Guids], [Protocols] и [Ppis] они должны построить.То есть, вы можете просто объявить все как GUID, но тогда вы потеряете любую проверку работоспособности, не позволяющую использовать PPI в DXE или наоборот.