Problems running F11 from usb disk with newer kernels