bugfix: make it work after soft reset

- let the bootloader hardwire the device number used in kickstart