Added : to xen grep, because otherwise it would match kernel messages li...

...ke: skipping TxEn test for device [8086:108f] subsystem [8086:0000]