VS Code Linux Kernel Properties File