eeepc-wmi: Build fix