darktable: patch to workaround a gcc-4.7.3 issue with -mtune=generic.