I have Chrome OS installed alongside Ubuntu 12. If I delete Chrome will I need to repair GRUB? thanks gary