anv+hasvk: update symbols that have become aliases for newer ones

All of these have been renamed in the spec (usually by being promoted); renamed them in our code too.