PS2 keyboard: Use acpi_is_wakeup_s3()

Change-Id: I812cc40e50a1e7e13caed48a1693feb8658b645c
Signed-off-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
Reviewed-on: http://review.coreboot.org/6073
Tested-by: build bot (Jenkins)
Reviewed-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>
Reviewed-by: Patrick Georgi <patrick@georgi-clan.de>

src/superio/smsc/mec1308/superio.c

@@ -29,9 +29,6 @@
 #include <pc80/keyboard.h>
 #include <stdlib.h>
 #include "mec1308.h"
-#if CONFIG_HAVE_ACPI_RESUME
-#include <arch/acpi.h>
-#endif
 
 static void mec1308_init(device_t dev)
 {
@@ -41,10 +38,6 @@ static void mec1308_init(device_t dev)
 
 	switch(dev->path.pnp.device) {
 	case MEC1308_KBC:
-#if CONFIG_HAVE_ACPI_RESUME
-		if (acpi_slp_type == 3)
-			return;
-#endif
 		pc_keyboard_init();
 		break;
 	}