tree 13c14cc3d981f137402301355c92cf4f58abb351
parent 661faf31021dda4df1ea46594ec03de68f5ac47d
author Helge Deller <deller@gmx.de> 1549646893 +0100
committer Helge Deller <deller@gmx.de> 1550777833 +0100

parisc: Show machine product number during boot

Ask PDC firmware during boot for the original and current product
number as well as the serial number and show it (if available).

Signed-off-by: Helge Deller <deller@gmx.de>