Explicitly set gpio values on boot

This gives us a known good configuration on boot. Changes from default:
GPIOs 0-3 and 12 are don't-care, and GPIO 14 is temp sensor CS (output).

Default cold boot values:
GPIO_OE:     0x0000b31b
GPIO_OUT:    0x0000002f
GPIO_OUT_F0: 0x00000000
GPIO_OUT_F1: 0x0c080980
GPIO_OUT_F2: 0x00160000
GPIO_OUT_F3: 0x00000000
GPIO_OUT_F4: 0x00000100

Changed values:
GPIO_OE:     0x00002310
GPIO_OUT:    0x00004020
GPIO_OUT_F1: 0x0c080900
(...)

Change-Id: I886b2a1d30bc5bed3976d42bf16842a3eeb6fe8f
2 files changed