01ecab4055
were installed. For the ifpi2, change the string in the driver_t from "ifpi2" to "ifpi2-" so that one sees "ifpi2-0" instead of "ifpi20" at boot time.