Yes, this is a BIOS bug.
Change the last line of /etc/rc.d/init.d/halt from:
eval $command -i -d -p
to:
eval $command -i -d
This will avoid "halt" from trying to do a "powerdown".
-- ~ . . Fabio Ferrari /V\ mailto:fabio.ferrari@digitro.com.br // \\ Digitro Tecnologia LTDA /( )\ ^`~'^- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.rutgers.edu Please read the FAQ at http://www.tux.org/lkml/