That’s awesome! I’ve located and confirmed the Carrizo VBIOS and microcode are indeed included in the BIOS you’ve linked.
If you’re feeling brave, I created a modded FM2A88X+ Killer BIOS using the modules I found in the Gigabyte BIOS:
F288KiP2.zip (4.6 MB)
I must warn you though, this is provided as-is and I have no way to verify that it will work on your machine. Although I very much doubt it would cause a full-brick like what I experienced, it is always best that you back up your BIOS and have a recovery method readily available.
It is likely that if it doesn’t work, you will just need to either install a Trinity or Kaveri APU to flash back to factory BIOS since I didn’t touch any of those corresponding EFI modules.
You will need to use ASRock’s “Instant Flash” or whatever they call their flash utility in the BIOS.
Thank-you again for the new information. I actually do have a Gigabyte F2-A88XM-D3HP board somewhere that I can test the base ROM on, just if I can remember where I put it 