-diff -ur pcmcia.old/etc/config.opts pcmcia.dev/etc/config.opts
---- pcmcia.old/etc/config.opts 2003-12-06 07:09:24.000000000 +0100
-+++ pcmcia.dev/etc/config.opts 2006-12-01 01:01:36.000000000 +0100
+--- a/etc/config.opts
++++ b/etc/config.opts
@@ -17,14 +17,13 @@
#