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/1389180083-23249-3-git-send-email-David.Woodhouse@intel.com