Compilation of the kernel throws up the following error:
timed_gpio.c: In function 'gpio_enable_show':Solution:
Union member 'tv' is in an #ifndef block specific to 32-bit architectures. There is a field 'tv64' available for 64-bit but I'm not sure how to fix it yet. Suggest using 32-bit build environment.