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