BIOS error resolved

[Eric Demer]

thinkpenguin responded on the same day as I
contacted them, and the method they provided worked:

They gave a process for installing linux-libre-lts from
https://jxself.org/linux-libre/ .  I followed that process,
and my laptop seems to be working fine now.


(I waited before responding here in case there
were issues taking time to come up, and none did.
Also, yes, the sticker would've been a better place
to start looking for the hardware information.  ^_^ )



Eric Demer