x64: fix high registers usage