# CONFIG_IO_DELAY_0XED is not set