On some devices cpuinfo returns no "system type". For that devices the
"platform" tag contains the relevant chipset information.

Signed-off-by: Tim Niemeyer <[email protected]>
Reviewed-by: Jan Kraus <[email protected]>
Reviewed-by: Tobias Klaus <[email protected]>