Temporary workaround for pi not listing serial devices