[SeaBIOS] [PATCH v2 2/3] add format_uuid() utility function