I used DBI to install Super Bomberman R2 and the 1.3.1 update. The base file is in XCI format. The size for the XCI base and NSP update 2.3.1 is about 7.5gb. After installing the game I look in the Data Management and saw that the installed game plus update only used 5.1gb on my microSD card. Is that normal?