/roms/edk2/EmbeddedPkg/EmbeddedMonotonicCounter/