What Does a PC’s BIOS Do, and When Should I Use It?