[coreboot] [PATCH] FILO: USB_DISK by default should be disabled (trivial)