[PATCH v2 04/12] cmd: bootefi: carve out binary execution interface