Backport request for 4.17

[Anthony PERARD <anthony.perard@xxxxxxxxx>]

Hi,

Would it be possible to backport 18a36b4a9b08 ("tools: ipxe: update for
fixing build with GCC12") to Xen 4.17 ?

This would be to allow building Xen 4.17 on Debian Bookworm, and to allow
osstest to test Xen 4.18 with Debian Bookworm. osstest always tries to
migration from N-1 to N, so it would need to be able to build both 4.17
and 4.18 to actually test 4.18. Otherwise, I can tell osstest to keep
using Debian Buster to test 4.18.

For context:
    
https://lore.kernel.org/xen-devel/20240318165545.3898-36-anthony.perard@xxxxxxxxxx/

That commit pulls a newer version of IPXE, I don't think there's be
compatibility issue with Xen, and hopefully nothing breaks.

Thanks,

-- 
Anthony PERARD