How long to get raspberry pi codecs