[PATCH] x86_64: Do more checking in the SRAT header code