amd64: express KV4ADDR() using KV5ADDR()
(cherry picked from commit 2b09d177bd058ae1d8e03e1d65cf82ab351ae011)