fix kernel-headers patching (#1878)