UPGRADE: bitos for mips64