The N900 which also uses twl4030_wdt, doesn't need that hack. Check that you are not doing anything differently.
Here's the latest N900 config file which you might find useful for reference given the hardware similarities: https://github.com/pali/linux-n900/b...rx51_defconfig