[RFC 03/13] cmd: bootefi: carve out EFI boot manager interface