[PATCH] x86: compress the stack layout of do_page_fault()