Shedding Light on Static Partitioning Hypervisors for Arm-based Mixed-Criticality Systems