I don't think rebooting will make a difference since you already rebooted a couple of times. To be honest, we're currently at a loss where the kernel takes the redw9.100 interface from if it can't be seen in either ifconfig or /proc/net/red. I guess we'll have to ponder a bit more about this issue and see if we can reproduce it anywhere, or see if it maybe turns up at another machine.
Cheers,
andreas
