Dear GRUB folks,
On Debian sid/unstable with *gcc-12* 12.3.0-7, *gcc-13* 13.2.0-1, and
*clang* 1:14.0-55.7, since commit 2b7902459803 (gnulib: Update gnulib
version and drop most gnulib patches), I am unable to build GRUB for the
platform *coreboot* [1]:
```
$ git clean -dfx && ./configure
Recent mixed-mode Linux kernels (i.e., v4.0 or newer) can access EFI
runtime services at OS runtime even when the OS was not entered via the
EFI stub. This is because, instead of reverting back to the firmware's
segment selectors, GDTs and IDTs, the 64-bit kernel simply calls 32-bit
runtime service
