kernel_update: fix typo