If so, look around for boot options in the BIOS.