change kernel package name to kernel-VERSION-BOARD to work around ipkg bug