Updates to latest core SHA

The tooling server was misconfigured a couple days ago, so this PR was never automatically created.