Sorry for the last question I should yous read the thread more carefully, the information I requested was already there.
If the last line you see is the "Using the RTC on IRQ 8 (1khz) for scheduling" thing, the problem may come from sertial port stuff, do you have any serial port in your machine? If not try the -noserial option for the Fiasco kernel. This option prevents the kernel from starting the serial console.