registers.txt: document notif r1bit1 for k800