[Bug 1218881] VUL-0: CVE-2023-45231: edk2, ovmf: Out of Bounds read when handling a ND Redirect message with truncated options