[Bug 253651] Keyboard inoperative at boot options on Dell E520