Kernel: Add I8042Controller to detect and manage PS/2 devices

Rework the PS/2 keyboard and mouse drivers to use a common 8042
controller driver. Also, reset and reconfigure the 8042 controller
as they are not guaranteed to be in the state that we expect.

Kernel/CMakeLists.txt

@@ -22,6 +22,7 @@ set(KERNEL_SOURCES
     Devices/EBRPartitionTable.cpp
     Devices/FullDevice.cpp
     Devices/GPTPartitionTable.cpp
+    Devices/I8042Controller.cpp
     Devices/KeyboardDevice.cpp
     Devices/MBRPartitionTable.cpp
     Devices/MBVGADevice.cpp