[U-Boot] [PATCH 00/10] x86: gpio: Tidy up GPIO driver