¹³The default boot image is either the first boot image, the image specified with the default variable, or the image that has been selected at the boot prompt.