[PATCH] x86_64: Fix some typos in system.h comments