build: fix kernel_*config targets on 4.19