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

No pipelines have been run yet.