This should fix the problem with usb/kb regarding 
hot plug of ps2 adapters.
I include some other minor changes
(two of them are style and comments clarified,
the other one is to remove the assumption of extra
allocated data in Dev.dir in one function that
previously made that assumption.)