Windows XP takes much longer to boot in TCG mode since 5.0