[PATCH 1/5] util: virxml: Fix formatting of virxml.h