# CONFIG_WM831X_POWER is not set