Cleanup

This comment wouldn't be needed if the write_sctlr macro from arm32_macros.S was used instead.