Remove outdated information from the FreeBSD/MIPS platform page: it is
unlikely we will ever support SGI MIPS, we're certainly not actively
targeting it.  Make the page more similarly match other platform pages.

Still to do: add more details of platforms we do support.