Regression: GHC 9.4.7 still produced statically linked binaries on ubuntu-20.04, GHC 9.4.8 doesn't

Bumping CI from GHC 9.4.7 and 9.4.8 revealed that statically linked binaries cannot be produced on Ubuntu-20.04 anymore. The error is:

/usr/lib/x86_64-linux-gnu/libm-2.31.a(s_atan.o)(.note.stapsdt+0x14): error: relocation refers to local symbol "" [1], which is defined in a discarded section
...
(etc.)

In contrast, it still works with GHC 9.4.7 (with some linker warnings).

I know that static linking on Ubuntu is on the way out (does not work with any of Ubuntu-22 or GHC >= 9.6).

But maybe a GHC minor release should maintain backwards-compatibility.

Our workaround is to stay on GHC 9.4.7.

• https://github.com/agda/agda/pull/6986