If anything, the OS should have an API to tell you this info in advance.
The API for "tell me this info" is "read the CTR_EL0 register"; it's a hardware bug that it doesn't do the right thing on this particular chip.
If anything, the OS should have an API to tell you this info in advance.