* gnu/packages/linux.scm (%linux-libre-arm-export-__sync_icache_dcache-patch): Remove the version from the file name, since it applies to multiple versions.