Summary of changes: 0239e87... fix hotplug issue with usb devices and large screens (*) a8d3875... Merge branch 'master' into f18 (*) This commit already existed in another branch; no separate mail sent