# CONFIG_PDA_POWER is not set