[PATCH 6.12 090/231] platform/x86: int3472: Use correct type for "polarity", call it gpio_flags