Machine type UUID fix in tools/mach-types