enable cfg output again
update version information and dependencies
moved generated headers to separate folder
Merge branch 'master' of github.com:ckaestne/TypeChef-LinuxAnalysis
update path
work around invalid include in drivers/acpi/osl

(the include path is provided from kconfig)
updated linux testcase preparation for a more convient way
updated x86 model
added sbt for convience reason