Lobsters: Patina, a Rust implementation of UEFI firmware