Hyperls: Guest Count implemented

Added support for multicore Guest counting

Signed-off-by: Enrico Canzonieri <enrico.canzonieri@eurecom.fr>
Hyperls: Small bug fix

Signed-off-by: Enrico Canzonieri <enrico.canzonieri@eurecom.fr>