linux: move CONFIG_BOOKE_WDT to the generic config