[ros-diffs] [hpoussin] 24321: i8042prt manages PS/2 ports, not PS/2 devices. Take it into account when browsing devices detected by freeldr.