[PATCH] x86_64: Some cleanup in setup64.c