Checklist: Verifying Generated Kernels

Checklist for verification