[coreboot] ARM SoC ID

[tiho taskov]

I want to know what stance the coreboot community is taking on the
issue with identifying basic initialization parameters for a
pre-compiled linux kernel booting on a random SoC.