Merge branch 'tci' of git://qemu.weilnetz.de/qemu