Add Link to arch linux, add info how to get device name
Merge pull request #130 from genodeftest/patch-5

Add Link to arch linux, add info how to get device name