Depending on your setup, the placement of these BIOS files is critical:

This specific version is highly popular for low-power devices like the Raspberry Pi