Simplify intrinsics generation #1931

Job	Run time
build (--mini-tests)	49s
build (--std-tests)	41s
build (--test-libcore)	51s
build (--test-successful-rustc --nb-parts 2 --current-part 1)	42s
build (--test-successful-rustc --nb-parts 2 --current-part 0)	44s
success_gcc12	3s
	3m 50s

Provide feedback