pc-linux-gnu platform configurations / it's usually use by default