[Bug 808054] New: Something switches off Num Lock at boot/login