My changes to the rEFIt boot menu and maintenance toolkit for EFI-based machines