[Bug target/86792] microblaze port needs updating for CVE-2017-5753

[sjames at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86792

--- Comment #1 from Sam James <sjames at gcc dot gnu.org> ---
r14-11803-gf644e21ee36440 fixes this but it's missing on releases/gcc-15 and
trunk...