K 10 svn:author V 6 andrew K 8 svn:date V 27 2014-10-14T14:32:58.444422Z K 7 svn:log V 129 Uncomment general options from the Pandaboard config. These are in other configs and there is no reason for them not to be here. END