Simple script and config (type-safe) for building custom Linux kernels for Firecracker MicroVMs