Added DerTeufel's Kernel and vendor files manifest