Watchdocg module missing for the new Odroid-C2 image

The new image for Odroid C2 now seem perfect, congratulations!
But there is another little problem remaining.
The hardware-watchdog for this C2-board needs the module “gxbb_wdt”. This was available in the “old” buster-image, but not in the last image. Are there any chances to include it. Source is available at
Or is there another solution to use the hardware-watchdog on the C2?