Wojciech Muła

It would be perfectly fine if this particular behavior was clearly documented. I think you don't need any left-shifting. The algorithm for handling cross-buffer reads would look like that: ```rust...

@the8472 thanks a lot for the explanation, I wasn't aware of TCP connections. Extending `BufReader` would be nice, although there are workarounds you proposed. In my particular case the solution...

@makutak so, the commit https://github.com/riscv-software-src/riscv-pk/commit/54de960a5e4c91734fcfd454fdc7e593c6ac571d broke Ubuntu/Debian. Seems `is_32bit` is incorrectly set if we pass `--host` --- am I right?

@mga-sc could you please take a look?