Improve print_os_info on systems with non-contiguous memory maps

[eblanton]

The print_os_info() function assumes contiguous memory maps (e.g., _etext == _sdata), which is often untrue on embedded systems. This patch removes that assumption to some degree.

[hzhou81]

I agree with this improvement!

[hzhou81]

The most important thing is we must find the maintainer of the project to deal with the pull request.

[brylow]

Quoting Sun Huizhou <[email protected]>:

The most important thing is we must find the maintainer of the project to deal with the pull request.

Hmmm. Now that all my students who were so in love with GitHub have graduated and moved on, I suppose that might be me. That's a shame. -D

[hzhou81]

Quoting brylow:
Don't be shame, I'm your and your students's fan. You can invite your students to be maintainers.
I'm willing to contribute code to this project. Xinu must keep going!

[eblanton]

Let me know if you have a more preferred integration path, Dennis. As you may recall, a decade or so ago I ported Xinu to the STM32 family of microprocessors, and was waiting on some platform generalization to upstream it. Well, the world has come around to me working on it again, and I'm about ready to push it.