Linux Driver Verification

Drv-env-gen failed during compile modules in "drivers/media/radio/si470x/"

iceberg@iceberg:~/projects/remain/run$ LDV_DEBUG=100 WORK_DIR=/home/iceberg/projects/remain/run/work/current--X--drivers/--X--defaultlinux-2.6.36.1--X--32_7/linux-2.6.36.1/csd_deg_dscv_tempdir/1783 /home/iceberg/projects/remain/inst/ldv-core/../drv-env-gen/drv-env-gen --basedir=deg --cmdfile=/home/iceberg/projects/remain/run/work/current--X--drivers/--X--defaultlinux-2.6.36.1--X--32_7/linux-2.6.36.1/csd_deg_dscv_tempdir/1783/cmd_after_csd.xml --cmdfile-out=/home/iceberg/projects/remain/run/work/current--X--drivers/--X--defaultlinux-2.6.36.1--X--32_7/linux-2.6.36.1/csd_deg_dscv_tempdir/1783/cmd_after_deg.xml --state-file=/home/iceberg/projects/remain/run/work/current--X--drivers/--X--defaultlinux-2.6.36.1--X--32_7/linux-2.6.36.1/csd_deg_dscv_tempdir/1783/deg.state --driver-name=drivers/ --kernel-driver
deg: DEBUG: ENVGEN_PROPERTIES variable not set. Using default properties /home/iceberg/projects/remain/inst/drv-env-gen/default.properties

deg: DEBUG: Start sanity checks for input cmd stream file...

not well-formed (invalid token) at line 60, column 53, byte 2431 at /usr/lib/perl5/XML/Parser.pm line 187
at /home/iceberg/projects/remain/inst/ldv-core/../drv-env-gen/drv-env-gen line 79
at /home/iceberg/projects/remain/inst/ldv-core/../drv-env-gen/drv-env-gen line 79

XML file with wrong tag contains strings:
<opt>-DDEBUG_HASH=Usage: ./scripts/basic/hash <djb2|r5> <modname></opt>
<opt>-DDEBUG_HASH2=Usage: ./scripts/basic/hash <djb2|r5> <modname></opt>

I try to compile kernel modules in linux-2.6.36.1 without ldv-tools:
   make V=1 M=drivers/media/radio/si470x/
   Compile log contains wrong "./scripts/basic/hash" script usage:

gcc -Wp,-MD,drivers/media/radio/si470x/.radio-si470x-common.o.d -nostdinc -isystem /usr/lib/gcc/i686-linux-gnu/4.4.5/include -I/home/iceberg/projects/ldv-expr/linux-2.6.36.1/arch/x86/include -Iinclude -include include/generated/autoconf.h -D__KERNEL__ -Wall -Wundef -Wstrict-prototypes -Wno-trigraphs -fno-strict-aliasing -fno-common -Werror-implicit-function-declaration -Wno-format-security -fno-delete-null-pointer-checks -Os -m32 -msoft-float -mregparm=3 -freg-struct-return -mpreferred-stack-boundary=2 -march=i486 -Wa,-mtune=generic32 -ffreestanding -fstack-protector -DCONFIG_AS_CFI=1 -DCONFIG_AS_CFI_SIGNAL_FRAME=1 -DCONFIG_AS_CFI_SECTIONS=1 -pipe -Wno-sign-compare -fno-asynchronous-unwind-tables -mno-sse -mno-mmx -mno-sse2 -mno-3dnow -Wframe-larger-than=1024 -fno-omit-frame-pointer -fno-optimize-sibling-calls -g -femit-struct-debug-baseonly -pg -Wdeclaration-after-statement -Wno-pointer-sign -fno-strict-overflow -fconserve-stack -fprofile-arcs -ftest-coverage -DMODULE -D"KBUILD_STR(s)=#s" -D"KBUILD_BASENAME=KBUILD_STR(radio_si470x_common)" -D"DEBUG_HASH=Usage: ./scripts/basic/hash <djb2|r5> <modname>" -D"DEBUG_HASH2=Usage: ./scripts/basic/hash <djb2|r5> <modname>" -c -o drivers/media/radio/si470x/.tmp_radio-si470x-common.o drivers/media/radio/si470x/radio-si470x-common.c

Perhaps this is a bug of the kernel (http://www.mail-archive.com/kvm@vger.kernel.org/msg15647.html). But in any case it is necessary to add shielding to as_gcc.