armv8: Improve readability of register restoration code
[barrelfish] / platforms / ARM_FastModels /
drwxr-xr-x   ..
drwxr-xr-x - ARMv8_Base_A57x1