make io_delay=0xed the default. This frees up port 0x80 which is
a debug port on some machines and locks up certain laptops.
Testing only for now. Try the io_delay=0x80 boot option if this does not
work for you.
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>
 
 choice
        prompt "IO delay type"
-       default IO_DELAY_0X80
+       default IO_DELAY_0XED
 
 config IO_DELAY_0X80
        bool "port 0x80 based port-IO delay [recommended]"