When. using THE_12_MP and using ISP scaling values from the options spreadsheet, should we use the 4056 sensor value, or the 4032 that is actually used when we set the camera to 12MP? It doesn't make so much of an issue up to P5, but P6 it starts to factor in more, and yeah, with P7, we're talking 128 pixels stride.
