Check for CONFIG_PS2PORT on all entry ps2 function entry points.

Signed-off-by: Kevin O'Connor <kevin@koconnor.net>
diff --git a/src/ps2port.c b/src/ps2port.c
index 58335af..1f04299 100644
--- a/src/ps2port.c
+++ b/src/ps2port.c
@@ -132,6 +132,8 @@
 void
 i8042_reboot(void)
 {
+    if (! CONFIG_PS2PORT)
+       return;
     int i;
     for (i=0; i<10; i++) {
         i8042_wait_write();
@@ -322,12 +324,17 @@
 int
 ps2_kbd_command(int command, u8 *param)
 {
+    if (! CONFIG_PS2PORT)
+        return -1;
     return ps2_command(0, command, param);
 }
 
 int
 ps2_mouse_command(int command, u8 *param)
 {
+    if (! CONFIG_PS2PORT)
+        return -1;
+
     // Update ps2ctr for mouse enable/disable.
     if (command == PSMOUSE_CMD_ENABLE || command == PSMOUSE_CMD_DISABLE) {
         u16 ebda_seg = get_ebda_seg();