hypervisor: align check_fault to 4-byte boundary (#658)

Author: i3abghany

isa/hypervisor-svadu/2-stage_translation_implicit_store_error_hs.S

@@ -95,6 +95,9 @@ hstatus_init:
 
   j fail # Should not reach here
 
+# stvec.BASE must be 4-byte aligned. Enabling the C extension would
+# allow the label to land on a 2-byte boundary, so we align it explicitly.
+.align 2
 check_fault:
   # Check scause
   csrr t0, scause

isa/hypervisor/2-stage_translation_implicit_load_error_hs.S

@@ -86,6 +86,9 @@ hstatus_init:
 
   j fail # Should not reach here
 
+# stvec.BASE must be 4-byte aligned. Enabling the C extension would
+# allow the label to land on a 2-byte boundary, so we align it explicitly.
+.align 2
 check_fault:
   # Check scause
   csrr t0, scause