[PATCH] x86-64: use BUILD_BUG_ON in FPU code