The problem here is that Oko slightly skewed his instructions..
@jack; at the
boot> prompt, type
boot -c which will enter the UKC(User Kernel Config) interface.
Code:
ukc> disable acpi
ukc> quit
Disabling ACPI may not help, in fact.. you might already have acpi enabled, in that case.. disable apm or pcibios instead.