Commented out code that messes with 10_linux

I'll probably be changing the grub code completely - for now, that
section is getting in the way