This change moves the Linux developer documentation to the new location `docs/linux` as discussed in our planning meeting.
Eberhard Beilharz