* System register configuration now sets CPUACTLR_EL1.
* System register configuration now sets CPUACTLR_EL1.
−
** This sets CPUACTLR_EL1 to the same value as in [[ernel_Loader#KernelLdr_MapInitialIdentityMapping]], previously this code only configured CPUECTLR_EL1.
+
** This sets CPUACTLR_EL1 to the same value as in [[Kernel_Loader#KernelLdr_MapInitialIdentityMapping]], previously this code only configured CPUECTLR_EL1.