kernel: Add missing config option for kernel 4.14