[PATCH] x86-64: Clean up asm-x86_64/bugs.h