Thanks bitsnpcs, I did see that article and then also used this other link which had pictures (very helpful):https://www.maketecheasier.com/replace-chromebook-bios/
The HP Chromebook is up and running, however as reddit pointed out the touchpad doesn't work so I have to use a USB mouse. Unfortunately the link to the kernel is not longer available. I've tried various "solutions" to get it working but so far I'm not winning! I might just resign myself to this computer needing a USB mouse.
I will try posting my issue (and attempted solutions) in the hardware section to see if someone has successfully gotten the touchpad to work