Roku to lay off 10% of workforce, stock jumps