http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59672
--- Comment #9 from David Woodhouse <dwmw2 at infradead dot org> --- Thanks. This appears to work for me to build the Linux kernel's 16-bit boot code with the patch at http://lkml.kernel.org/r/[email protected]
