GPIO_INPUT_INVERT
cs5535_gpio_clear(OLPC_GPIO_LID, GPIO_INPUT_INVERT);
cs5535_gpio_set(OLPC_GPIO_LID, GPIO_INPUT_INVERT);