one more alt_kernel fix