basesys/install_kernel: bugfix on usage