Added docs and fixed minor bugs

Note that boup is still considered 'bios' in the test monitor server.