[coreboot] Re: search_isolinux usb