Re: [F25 PATCH] x86_64: fix page_offset calculation