fixups for tests/memread_manual/kernel