adding new kernel binaries