- one more alt_kernel fix