tests: the bug with print registers was in my code, not the kernel.