cpuidle: upon BIOS bug, default to default_idle rather than polling