Hey,
All steps necessary to download and build kernel sources are listed in these guides respectively for each Android base:
All kernels for these ports are in these git repository:
I also have builds instructions written by me here (private):
4 Likes