samsung: tizen_rpi: add swiotlb value to 8192 on 32bit