Re: [LinuxBIOS] [PATCH] v3: Rename mainboard-part-number to mainboard-name