I want to get the timestamp in uefi, and the docs [39. Miscellaneous Protocols](https://uefi.org/specs/UEFI/2.10/39_Micellaneous_Protocols.html?highlight=timestamp#) in UEFI Spec 2.10. the docs' context as follow:  but I couldn't found and misc protocols or any timestamp api in `uefi-rs`, could you help me for giving some suggestion. thanks!