[RFC 0/3] efi_loader: bootmgr itself should support removable media