Re: L4-Linux fails to boot - hangs setting up IDT