[Bug 1218887] VUL-0: CVE-2023-45237: edk2, ovmf: Use of a Weak PseudoRandom Number Generator