debian packaging of xserver-xorg-input-keyboard