audk/EmbeddedPkg/EmbeddedMonotonicCounter