Google will reportedly use a new type of file format, called the EROFS file system, in Android 13. Wondering what it is? Here's everything that you need to know.