He already fixed the problem I thought.

Also, the problem he was reporting was specifically a BIOS issue, so
changing what OS he was using (whether it be Linux on a Hard Drive or on
a CD) wouldn't really do much.