[PATCH ARM64 v4.4 V3 24/44] arm64: Move post_ttbr_update_workaround to C code