This seems like it is likely fixed in seabios http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=604735 .
This seems like it is likely fixed in seabios http:// bugs.debian. org/cgi- bin/bugreport. cgi?bug= 604735 .