# CONFIG_8139TOO_PIO is not set