fixed bug for release list of kernel