Guest debugging improvements #501

Description

This issue describes some improvements that can be done for the Hyperlight guest debugging feature.

1. We should analyze the way the virtual addresses are translated.
   Currently, we translate all addresses using translate_gva and the fact that the page tables are set up in such a way that the virtual addresses are the same as physical addresses makes this work.
   However, we should correctly translate where needed to avoid issues when the page tables would be modified.
   An example we should consider: link
2. Analyze what happens if a small OS having tasks is run as a guest. Is debugging still working properly?