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