Ive just had a look at the bios settings, and there doesn't seem to be anything that might relate to things like network cards, ethernet, wireless, etc.
The only thing I did see was a 'Network Boot Protocol' which is set to PXE. I have the option to change it to RPL ??
I'm not sure if this helps, but on the Toshiba site it refers to their wireless card as a 4965AGN