When I power on the laptop I'm greeted with a blue screen that reads, among other things:
The operating system couldn't be loaded because the HAL is missing or
contains errors
Thankfully I can boot from a USB recovery drive, and have attempted several different fixes from those suggested in this post to rebuilding the BCD file from scratch as described here. All that changed were the startup errors, which varied from an issue with \Windows\System32\winloader.exe to exhibiting a completely black screen.
I would love to use something as simple as
bcdboot C:\Windows /s B: /f ALL
to fix things, but this fails with some error in comparing checksums.
I'm not sure, but I get the feeling that if someone posted the results of
bcdedit /enum
from a working BCD file with the same laptop (HP Stream 13), I could make my own match it and be set. I do not know though. Any suggestions aside from wiping the thing with a clean install? If it's any help, I also have a bootable Linux USB that could be used in the repair process. Many thanks for your suggestions!