I too encountered the same problem on our Intel Atom (Poulsbo chipset) based computer running Debian 5.0. Upon looking at the file reboot.c in the kernel I found that the following two works for me:
reboot=bios reboot=acpi Now at this point of time I am not sure if this is a BIOS issue or a kernel issue. >How about a fixed bios?Bastian - I do have access to the person who writes the >BIOS for this computer. I am not a BIOS expert by any chance but can you give me some idea/hint as to what should I be asking the BIOS guy to look into in order to fix this issue? Thank you. Kushal Koolwal I do blog at http://blogs.koolwal.net/ _________________________________________________________________ Bing™ brings you maps, menus, and reviews organized in one place. Try it now. http://www.bing.com/search?q=restaurants&form=MLOGEN&publ=WLHMTAG&crea=TXT_MLOGEN_Local_Local_Restaurants_1x1 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
