linux-zen-server/drivers/gpio/gpio-ich.ko