Vivo: Use kernel headers