Update todo_linux-x86.lst