Don't read or write 8 bytes for 4-byte PTEs

For Sv32 Page Table Entries are only 4 bytes, but the old code was unconditionally reading and writing 8 bytes.

Fixes #459