Added gummiboot bootmanager for UEFI systems.