That’s for the OS and apps. Every user is going to use the SD card anyway, and 256GB or 512GB of good quality storage would be wasted on music.