[PATCH] Update timed_gpio from Linux 3.8