4GB flash-памяти относится к внутреннему накопителю Wiren Board. Часть этого объёма используется для системных целей (под rootfs в / и под её копию для восстановления прошивки, под загрузочную партицию, под своп). Если вы используете стандартный образ, то пользователю доступно всё оставшееся - т.е. полтора гигабайта, как вы и видите.
Внешняя карточка памяти будет видна в системе как /dev/mmcblk1 . Чтобы работать с файлами на ней, её нужно примонтировать, как обычно в линуксе - искать по ключевым словам /etc/fstab. По-умолчанию это сейчас не делается.
Кроме этого, нужно однократно сказать контроллеру, что в нём стоит модуль расширения с карточкой, это делается как написано в разделе Конфигурирование здесь: http://contactless.ru/wiki/index.php/Модуль_расширения_microSD_(WBE-MICROSD)
Разобрался. Сам дурак… Я почему-то думал что “Micro SD карта” в описании модуля включает в себя саму карту, а оказывается это только модуль для её подключения.