Fix kernel name in cubieboard boot.cfg