I recently used the firmware utility script from mrchromebox.tech to do full ROM on my HP 11 G5 EE Chromebook, and now have nothing but coreboot. I wanted to install a 32 bit OS but the BIOS software that the script installed doesn’t support 32 bit software, so I want to install a BIOS(specifically BIOS, no UEFI)that does. is there any way to do this? And if yes, what BIOS software should I use?