--- zzzz-none-000/linux-4.4.60/arch/mips/kernel/elf.c 2017-04-08 07:53:53.000000000 +0000 +++ dragonfly-4020-701/linux-4.4.60/arch/mips/kernel/elf.c 2018-11-08 13:36:17.000000000 +0000 @@ -9,6 +9,7 @@ */ #include +#include #include /* FPU modes */