x264 modified for development boards with small RAMs