[9fans] [GSOC] plan9 which arch code to use?

[Riddler]

Out of curiosity is there a reason that the patches for a 64bit install
never ended up in the main plan9 codebase?