Maybe the answer is "wait and see the full details when they become available", but is there an example of code that is hardened against cache side channel attacks but would be vulnerable against TLB side channel attacks?