gentoo-sources-3.8.13: Removed useless patching.