Update notes for submitted changes

* infuse4g: our sdcards are hot-pluggable