> +In order to boot from Libreboot, switch to the command mode and type
> +@command{search_grub usb}.

Maybe also mention that to switch to the command mode you have to press the "c"
key.