Generate MIPMAP from larger MIPMAP if available

Whenever a MIPMAP must be generated, we first check if there is a bigger MIPMAP available which we can use by scaling down. This saves the work to load the raw file and apply the pixel pipeline.