Stamp 1.0.0 for check_kernel_freshness