Remove old Linux infrastructure

Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
7 files changed