Revert "integrated kernel building"

This reverts commit 9bdf4673fe7c1fbfacdb8f827d23f6f121ed59cd.