[SeaBIOS] Seabios: misc. fixes

[Philip Prindeville]

Hi all,

Couple of minor patches:

(1) some messages are logged at level 1 that really shouldn't be;
(2) there's i8042 code being reached that shouldn't be if CONFIG_PS2PORT is off.

Thanks,

-Philip

-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: seabios.patch
URL: <http://www.seabios.org/pipermail/seabios/attachments/20120110/51427378/attachment-0001.ksh>