The CVE-2023-0801.patch also fixes CVE-2023-0800