Fix x86-64 TCB alignment for future processor versions.