Adding a section about HelenOS (for testarm and testmips) to the guestoses.html page.
Authored by: debug 2019-06-07
Parent: [r5051]
Child: [r5053]
