Fix error of destination size in kernel