[to keep record]
This is merged:
https://github.com/tianocore/edk2/commit/55637a2894babca97945eeca1da0d431f74f8627