I remember writing a timer-based switch debouncing routine for my microcontrollers class in undergrad.

Too bad people have to resort to homebrew hacks like this to fix their $1500 laptops.