..and GPIO5 of the CPU chip could be made available, I think.

It is currently wired to the DSP_OUT2 pin of the DSP (through an inverter), but I don't see it actually being used anywhere in the kernel. So we could likely disconnect it and re-use it for something else if we wanted to. This is a real GPIO pin.