[PATCH v4.4 V2 23/43] arm64: Move post_ttbr_update_workaround to C code