When reading registers for the first time, they sometimes show a wrong value same is true for the interrupt table. writing is fine, just reading the value back is not always correct. Possibly the synchronization between 40MHz and 250MHz needs attention
Fixed in svn rev 6