Add some info about how to work-around Ubuntu cd-rom issues