Index: /trunk/src/VBox/Devices/EFI/Firmware2/VBoxPkg/Library/AcpiTimerLib/AcpiTimerLib.inf
===================================================================
--- /trunk/src/VBox/Devices/EFI/Firmware2/VBoxPkg/Library/AcpiTimerLib/AcpiTimerLib.inf	(revision 42400)
+++ /trunk/src/VBox/Devices/EFI/Firmware2/VBoxPkg/Library/AcpiTimerLib/AcpiTimerLib.inf	(revision 42401)
@@ -35,5 +35,5 @@
   INF_VERSION                    = 0x00010005
   BASE_NAME                      = AcpiTimerLib
-  FILE_GUID                      = CDD9D74F-213E-4c28-98F7-8B4A167DB936
+  FILE_GUID                      = 9BB3B519-89A2-4E65-A226-D3B8BDE7F877
   MODULE_TYPE                    = BASE
   VERSION_STRING                 = 1.0