On Mon, 30 Jan 2012, Paul Walmsley wrote:

It seems highly suspicious to me that nothing in 
set_24xx_gpio_triggering() in our GPIO code seems to touch the 
WAKEUPENABLE register.

Heh.  Just wanted to follow up on this for anyone who cares.  Gražvydas 
noticed that the bit was indeed being set, so was curious to find out why.  
It turns out that, like some other GPIO regs, there is another pair of 
registers that can be used to modify the wakeup state without a 
read-modify-write cycle, and the GPIO driver uses these other two regs - 
GPIO_SETWKUENA and GPIO_CLEARWKUENA.

 
 - Paul