x86: GEODE: update GPIO API to support setting multiple GPIOs at once