[PATCH] pcmcia: mod_devicetable.h fix for different sizes in kernel- and userspace