[PATCH v2 31/41] bootstd: Add an implementation of EFI boot