Change Details

Bugs: * Sometimes the emulation of `adrp` can trigger a crash (e.g in `vm_fault:36` and `arm_gic_intr:72`).

The emulation of `adr` and `adrp` is currently disabled as `adrp` seems to be triggering crashes sometimes. It will be re-enabled once a fix is found.

Bugs: * Sometimes the emulation of `adrp` can trigger a crash (e.g in `vm_fault:36` and `arm_gic_intr:72`)The emulation of `adr` and `adrp` is currently disabled as `adrp` seems to be triggering crashes sometimes. It will be re-enabled once a fix is found.