Actually I just got a 4GB SD card (Transcend brand) and it works fine, so two of those would make 8GB internal, until a kernel patch permits SDHC cards to work. Details here.