https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61955
--- Comment #10 from Andreas Schwab <sch...@linux-m68k.org> --- Are you sure their user-space kernel headers are at 2.6.9 level? https://git.kernel.org/cgit/linux/kernel/git/tglx/history.git/commit/?id=31a3791056e43c6dd7386b8bc0f5fb94848c5a61 https://git.kernel.org/cgit/linux/kernel/git/tglx/history.git/tree/include/linux?id=31a3791056e43c6dd7386b8bc0f5fb94848c5a61