tcg: simplify !CONFIG_TCG handling of tb_invalidate_*