kernel: add some missing config options for 4.1