rosalyna TEE_DIRTY_SQUIRT is live