Booting L4Linux/Fiasco with root=/dev/hda