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