[PATCH] x86_64: Adjust page fault handling