kernel: rename symbol in kernel 4.19 config