Intel s5000xal server ACPI panic

some weeks ago I was trying to get the NetBSD 6.0_BETA2 amd64 running on
an Intel server with s5000xal motherboard. It was not possible with
GENERIC kernel with ACPI on, here are some screenshots of the panic: