Вы, кажется, правы. Их математика указана вверху списка:
! CTR - the number of data blocks needed to fill the cache - save it in r3
! 32K (size of cache) / 32 (bytes per block) = 0x400
Они всегда устанавливают регистр счетчика на 0x400, и в нем говорится, что в каждом блоке есть 32 байта в нескольких местах этого документа. Так что после этой математики вам нужно будет увеличить 0x20, а не 0x10. Как и в случае с любой сборкой, вы должны обязательно протестировать ее в обоих случаях, если есть какие-то странные кремниевые ошибки.