[PATCH] Automatically select 0xe9 as default debug port if configured for Xen

[Julian Pidancet]

As per Ian comment on previous commit 7123d9834d58287d43514d7799ed1a7b34eea243

Signed-off-by: Julian Pidancet 
---
 src/Kconfig |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/src/Kconfig b/src/Kconfig
index cf0bff0..cee0005 100644
--- a/src/Kconfig
+++ b/src/Kconfig
@@ -361,6 +361,7 @@ menu "Debugging"
     config DEBUG_IO_PORT
         depends on DEBUG_IO
         hex "Debug IO port address"
+        default 0x00e9 if XEN
         default 0x0402
         help
             Bochs uses the 0x0402 address by default, whereas Xen