Via - don't debounce the power button as doing so causes the short pulse length to be missed. Debouncing is unnecessary anyway since the signal is generated cleanly by the EC.
cpu/x86/pc/olpc/via/ioinit.fth