Erasing the disk is enough, the subject of the bios is unlikely to have any malware. If the disks have a good % of useful life, it is not necessary to
