Make bashrc alias mm=>"make menuconfig" and m="make".
Do not overwrite $PS1 if it is already set.