Update .bashrc to mount binfmt_misc and support the rename of powerpc to ppc