Спасибо, надо поглядывать в этот блог. Но в даташите нет никаких
упоминаний про такие особенности. И проблема не в том, что там
якобы разделение на 2 регистра. Ошибочное чтение в момент
инкремента, даже если читаешь младшие 16 бит. Там суть в том, что
ты читаешь в момент, когда идет процесс медленного поразрядного
инкремента, и ты считываешь какое-то промежуточное значение. Я проверил - если от начала инкремента (который фиксируется по изменеию 0->1 бита RB_32K_CLK_PIN) отступить 16 системных тактов, то читается нормальное значение.
Но лучше конечно проверять на равенство 2 считанных значения.