Goto-cc extensions to build (and link) recent Linux kernels#2030

kroening merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:goto-cc-linux-kerneltautschnig/cbmc:goto-cc-linux-kernelCopy head branch name to clipboard