Re: [SeaBIOS] "bootorder" documentation change