Re: L4Linux and ACPI