This is a tough question to answer because it can depend on which emulators you installed after a fresh install of RetroPie 4.0.2.

Just for fun I mounted the retropie-4.0.2-rpi2_rpi3.img file and browsed to the /home/pi/RetroPie/BIOS directory and here's the only files I saw:

fast.bin skip.bin system.bin

Make sure you've got everything backed up before proceeding!!!

Maybe you can just move all the other BIOS files into a Temp directory and then just run the RetroPie Setup Script and then Update All Installed Packages. Maybe that'll reinstall all the other stock BIOS files. I don't know if it will work but it's worth a shot.

If all else fails, just reimage and reload the ROM and BIOS files that you actually want.