I am assuming that this is the correct place to post udev patches for
consideration, feel free to inform me otherwise :-).

George