x64: simplify previous patch