Allow building of distro kernels

Next to the stock Linux kernel it'd be nice to support building specific OS kernels from e.g.: Ubuntu, Debian or similar. This would enable nice patch diffing/analysis, but also an extended vuln research experience!