[Bug 465707] Keyboard of HP2710p sometimes not available when booting