Implement our i8042prt initialization routines step by step after the MS DDK example

Even in 2016, our basic input driver i8042prt is still struggling with initialization issues on some computers. This led to a "hwhacks.c" file with code for identifying certain machines and applying specific hacks for them. As this obviously doesn't scale at all, only an exact implementation after the "standard" can solve such problems once and for all.

The "standard" current chipsets are following is not a written documentation, but the MS Windows i8042prt driver.
Fortunately, this driver is also part of the Windows Server 2003 DDK samples.
Due to license conflicts, we can't just take over the whole driver. But thoroughly looking into its initialization code and adapting this exact sequence of steps to our driver should give us an initialization that works for all i8042 hardware out there. Given that MS i8042prt is the reference implementation, I also see no alternative.

Leaving this task for somebody with time for it