Bug#845690: gcc-6: gcc creates unbootable kernel on x86-64

[Damien Wyart]

Hi,

The problem is discussed here:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78512

In the meantime, a workaround is to add

-fno-printf-return-value to CFLAGS.

Best regards

Damien