Correct 715/100XC machine name, per openpa.net. mickey@ ok
Correct 715/100XC machine name, per openpa.net. mickey@ ok

orumin/openbsd-efivars,orumin/openbsd-efivars,orumin/openbsd-efivars,orumin/openbsd-efivars