Suspecting possible firmware issues. Any advice on BIOS/Firmware debugging?

The BIOS and the EC firmware are two separate things, however updates to both are distributed together. By performing a BIOS update, you are also updating the EC firmware.

Release notes for the latest BIOS / EC firmware are in this post, and you find similar posts for older BIOS updates.: