problem: howto update a live usb kernel?