simplified kernel-building instructions