atkbd/x86_64: Do the same AT controller check on x86_64 as on i386