[PATCH nixpkgs 1/4] kernelPatches: drop export_kernel_fpu_functions