x86: cosmetic fixes fault_{32|64}.c