If anyone wants to use undervolting with linux, try this out: http://linux-phc.sourceforge.net/