VR4131ボードでUSB-無線LANを使えるように調査。tasklet実行中に GIUの割込みがマスクされているのが原因らしい。