[PATCH] x86_64: check_addr() cleanups