Here are some updates to get the SP805 watchdog working on the ARM Versatile Express. The first two patches fix observed issues; the third fixes a potential (but not observed) issue with asynchronous posted writes. All three patches are independent and should be applicable in any order, with some fuzz on the third.