This Problem disappeared with new BIOS Version 17ST from Samsung webpage. (Using debian lenny and 2.6.26-1-686)