
kernel settings file. As pointed out by Rene, there's otherwise no way to enable ACPI when the settings file is absent, as there's only a disable switch in the boot menu. * Remove MADT dumping as it isn't really implemented. This info can actually be printed in the IO-APIC code now. git-svn-id: file:///srv/svn/repos/haiku/haiku/trunk@41497 a95241bf-73f2-0310-859d-f6bbb57e9c96