Re: [coreboot] [FILO] #13: parameters for 'boot' command