partly revert improve_kerneltools.patch