diff --git a/src/fundamental/efi-fundamental.h b/src/fundamental/efi-fundamental.h
index 75cfd23b8c..f6729293a9 100644
--- a/src/fundamental/efi-fundamental.h
+++ b/src/fundamental/efi-fundamental.h
@@ -2,7 +2,10 @@
 #pragma once
 
 #if !SD_BOOT
+#  include <stdbool.h>
 #  include <stdint.h>
+#  include <string.h>
+
 /* Matches EFI API definition of the same structure for userspace */
 typedef struct {
         uint32_t Data1;
@@ -11,6 +14,10 @@ typedef struct {
         uint8_t Data4[8];
 } EFI_GUID;
 
+static inline bool efi_guid_equal(const EFI_GUID *a, const EFI_GUID *b) {
+        return memcmp(a, b, sizeof(EFI_GUID)) == 0;
+}
+
 typedef struct {
         EFI_GUID SignatureOwner;
         uint8_t	SignatureData[];