the lib++ 32 bit stuff is known issue, or at least it kinda rings a bell, that it has been needed, and thank you.
We are really focusing on getting the support design ready, and not testing linux distros. In virtual box it is ir-relevant what linux to install, if you have desktop PC with linux as primary OS, then of course would be nice to have petalinux working with your OS.