And everyone should note that this issue also applies to desktops, since most keyboards nowadays use USB (and may or may not come with one of those purple USB-to-PS/2 keyboard adapters). Once I read here that the problem was specifically affecting USB keyboards, I knew enough to try using the PS/2 jack (and I happened to have one of those old adapters lying around!) -- but we cannot expect the average, inexperienced user to have either the knowhow or the wherewithal to do this.
And everyone should note that this issue also applies to desktops, since most keyboards nowadays use USB (and may or may not come with one of those purple USB-to-PS/2 keyboard adapters). Once I read here that the problem was specifically affecting USB keyboards, I knew enough to try using the PS/2 jack (and I happened to have one of those old adapters lying around!) -- but we cannot expect the average, inexperienced user to have either the knowhow or the wherewithal to do this.