Terminate ACPI hangs on Tyan S1834 SMP Kernel

[Stefan]

Hello,

I was wondering if anyone might know of any special options I should 
set when building an SMP kernel using a Tyan S1834 board?

I enabled the default SMP options in the GENERIC kernel config and the 
machine runs fine but it hangs when I do a shutdown -r or shutdown -h  

It looks as if the system hangs when it tries to terminate ACPI

To double check I recompiled the kernel without SMP and the system 
shutdown fine.

I would appreciate any info.

Thanks,

Stefan