x86: increase MAX_APICS for very large x86-64 configs