[PATCH] x86_64: Remove unnecessary include in fault.c