IANAL, but it's been argued here that the x86_64 patents will expire soon (the specification was available in 2000, first processor in 2003). Probably neither Apple or MS will be blocked; MS had a problem earlier since it decided to release while the patents were still in force, rather than wait.