kernel: fix release no