new post: how to upgrade the TEK firmware in a virtual machine