kernel: quick fix