UEFI string handling is interesting. Some parts of the spec use Latin-1, others use UCS-2, and overall everyone uses null terminators. Since all of this is quite alien to the idiomatic Rust developer, I thought it could be worthwhile to encode the various constraints that are involved in the type system.

I also took the opportunity to fix a few safety bugs (safe functions taking pointers as input).