If your school offers these tabs on bulk to the students I doubt seriously they took the time to solder the chips on all of them unless they ordered them that way. If they did, kind of dumb as if they need to fix one it has to be replaced completely. No, you can't OC the chip. In olden days bios locked computers could be OCed with clockgen apps but the bios on modern pre-built PCs and laptop/tabs blocks all 3rd party software. Considering they don't raise the multi it would **** everything up anyways. Any BCLK modifying over 3MHz changes the PCI clock.
There are things you can buy. Thing is, it takes a regular desktop GPU, this Expressport card thing, and a PC PSU. Totally not cost effective.