Send a message to grub.dump