Andrew,
If you know the exact model you should be able to find the user manual on Samsung's website which will guide you through the BIOS settings and options. You can also ensure that you get the latest firmware and drivers while you are there.
As le Pingouin says, it sounds like the perfect opportunity to put in a newer, larger, faster, SSD disk to replace the "possibly infected" one, which you can keep in case you need to recover any files from (but not boot off).
SD