[PATCH] x86_64: access of some bad address