[ros-dev] How to boot using Grub