patch.sh: remove broken reference to mach/timex.h
Merge pull request #5 from mhaberler/3.8.13-xenomai-timex-fixed

patch.sh: remove broken reference to mach/timex.h