Thanks again, yifanlu
.
EDIT: It's flashed twice because there's two kernels installed at all time. It's used when updating the kernel during the official update process. The update tool switch to the 'update' kernel, flashes the default kernel, switch the new default kernel, and flashes the 'update' kernel. Or something like that.