Update ION header from VivoION kernel