Linux Driver Verification

As well as in #604 issue concerned with XML printing by CSD, BCE also forms incorrect XML sometimes:

<desc>
  init/main.c: In function ‘do_one_initcall’:
  ...
  drivers/ata/ahci.c:2761:2: warning: comparison between ‘enum <anonymous>’ and ‘enum <anonymous>’
  ...
</desc>

that after all leads to the following error:

mismatched tag at line 444, column 6, byte 42313 at /usr/lib/perl5/vendor_perl/5.10.0/x86_64-linux-thread-multi/XML/Parser.pm line 187                                                                                                                      
 at /home/joker/work/14_driver/test_ldv_tools_2/ldv-core/../ldv-core/ldv-core-reporter line 57                                
 at /home/joker/work/14_driver/test_ldv_tools_2/ldv-core/../ldv-core/ldv-core-reporter line 57

(note that 444 line corresponds to </desc>).