comment out some branding and boot menu stuff to fix problems with changes brought in by FreeBSD 9.2-RC2. will fix later