[PATCH v4.9.y 16/42] arm64: Move post_ttbr_update_workaround to C code