Update to buildroot-2013.08

This brings the buildroot inline with wjb/buildroot-mx 9f55a585e9658b521edfc11b948a5667beb47d9d