Matthias Schiffer 58ced87261 Use nicer platform match 10 lat temu
..
etc f73d727ae6 Remove all remaining uses of sysconfig.sh 10 lat temu
lib 58ced87261 Use nicer platform match 10 lat temu