DELL 1555 workarounds for Ubuntu 12.10