brcm47xx: fix 831-old_gpio_wdt.patch for linux 4.19