x86-64 is a superset of x86, therefore x86-64 is covered in the x86 section.