Fill out some more UEFI structs. Make write use a stack-allocated temporary buffer so that it's thread safe.