Insert workaround for PS/2 driver