Samsung schuift Linux voor DeX aan de kant