Update w/ @i-Zaak changes to tvb kernel