--- ../s3.org/s3switch.c        2002-09-12 00:25:33.000000000 +0200
+++ s3switch.c  2005-05-26 19:41:41.953199488 +0200
@@ -100,6 +100,13 @@
     ioperm( 0x40, 4, enable );
     ioperm( 0x61, 1, enable );
     ioperm( 0x80, 1, enable );
+
+    //For buggy IBM t23 BIOS
+    ioperm( 0x70, 1, enable );
+    ioperm( 0x71, 1, enable );
+    ioperm( 0xb2, 1, enable );
+    ioperm( 0x4f, 1, enable );
+
     ioperm( 0x3b0, 0x30, enable );
 }