https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67169
--- Comment #4 from David Woodhouse <dwmw2 at infradead dot org> --- It's required by Windows but not by UEFI, which otherwise has the same ABI. We had previously been able to build UEFI firmware with MinGW.
