move gcc4.8 stuff to device vendor file