Hallo!
I use "sudo pccardctl eject" "sudo pccardctl insert" to reinsert the card. There is no need to physically remove the card in between the commands. So it's essentially the same as reloading the driver.
only for the record: that's exactly what I was looking for ! Thanks, LG Georg
