Merge branch 'cbindgen-supports-builtins' into 'master'

Remove obsolete varargs workaround

See merge request redox-os/relibc!621

Makefile

@@ -85,7 +85,6 @@ BUILTINS_VERSION=0.1.70
 
 all: | headers libs
 
-# TODO: can sed be removed now that cbindgen iirc supports varargs?
 headers: $(HEADERS_DEPS)
 	rm -rf $(TARGET_HEADERS)
 	mkdir -pv $(TARGET_HEADERS)
@@ -100,7 +99,6 @@ headers: $(HEADERS_DEPS)
 			out="$(TARGET_HEADERS)/$$out.h"; \
 			cat "src/header/$$header/cbindgen.toml" cbindgen.globdefs.toml \
 				 | cbindgen "src/header/$$header/mod.rs" --config=/dev/stdin --output "$$out"; \
-			sed -i "s/va_list __valist/.../g" "$$out"; \
 		fi \
 	done