I just got a new server (ASRock E350M1/USB3 motherboard, 16 GByte memory) and installed FreeBSD 9.0-RELEASE. An issue I have is that I can't reboot. If I halt or reboot the machine (with 
	
	
	
		
The above numbers are the same each time. The only difference I see is that when I run
Would you have any advice how to debug this?
So far, I tried playing with the ACPI (power saving) settings in the BIOS, in particular with these values:
The only change I saw is that instead of displaying gooblygook on screen, I now see the error message in plain ASCII.
During installation of FreeBSD, I choose not to install the lib32 packages. Could that be a cause?
I tried to see if I can debug some more by setting
	
		
 in rc.conf, but dmesg had this warning "
Any advice how to proceed?
Edit 2014-08-28: Fix faulty BBCode.
				
			 /sbin/reboot or  /sbin/shutdown -r or  -h), the machine seems to shutdown properly at first, but by the time it should actually reboot, it displays the following kernel panic:
		Code:
	
	trap number             = 12
panic: page fault
cpuid = 0
uptime = 49s
Fatal trap 12: page fault while in kernel mode
cpuid = 0; apic id = 00
fault virtual address   = 0x0
fault code              = supervisor write data, page not present
instruction pointer     = 0x20:0xffffffff80b4026c
stack pointer           = 0x28:0xffffffff81178d70
frame pointer           = 0x28:0xffffffff81178d80
code segment            = base 0x0, limit 0xfffff, type 0x1b
                        = DPL 0, pres 1, long 1, def32 0, gran 1
processor eflags        = interrupt enabled, resume, IOPL = 0
current process         = 1627  (reboot)
trap number             = 12
panic: page fault
cpuid = 0
uptime = 49s
kernel trap 12 with interrupts disabled
	The above numbers are the same each time. The only difference I see is that when I run
 /sbin/shutdown, the current process is 1 (init) instead of reboot.Would you have any advice how to debug this?
So far, I tried playing with the ACPI (power saving) settings in the BIOS, in particular with these values:
- Suspend to RAM: auto
 - RTC Alarm power on: by OS
 - ACPI HPET table: disabled
 
The only change I saw is that instead of displaying gooblygook on screen, I now see the error message in plain ASCII.
During installation of FreeBSD, I choose not to install the lib32 packages. Could that be a cause?
I tried to see if I can debug some more by setting
		Code:
	
	dumpdev="AUTO"
	 no suitable dump device was found", and I didn't find any memory dump.Any advice how to proceed?
Edit 2014-08-28: Fix faulty BBCode.