[PATCH v5 04/13] Port scripts/format-uuid.sh to awk