EFI applications in Rust