WMI_EEEPC_PSW_UNKNOWN_xED
sc->sc_psw[WMI_EEEPC_PSW_UNKNOWN_xED].smpsw_name = "unlabeled-xED";
wmi_eeepc_pswitch_event(sc, WMI_EEEPC_PSW_UNKNOWN_xED);