Just for the heads up, I just tried adding "acpi=force lapic" as boot parameters, and now the computer I talked about earlier halts without any further issues. -- Power down after shutdown does not work... https://launchpad.net/bugs/43961