I would like to have a new release of r-efi with #79 for inclusion in Rust std https://github.com/rust-lang/rust/pull/123196#discussion_r1597674735