Added drivers for i8042, which are  broken now.
Please ignore this commit.