[PATCH 4.9 24/66] arm64: Move post_ttbr_update_workaround to C code