# CONFIG_VIDEO_DE2 is not set
# CONFIG_USB_EHCI_HCD is not set
# CONFIG_USB_OHCI_HCD is not set
CONFIG_BOOTDELAY=0