[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