There is an GPIO signal Overtemp_n (pin L52) which has NO linux device-tree binding. From devkit schematic, it seems connect to MCU to perform a force shutdown on overheated.
But since there is no device-tree definition for it, is this Overtemp_n managed by Linux? Or is it managed by BPMP? Or something else? And how is it managed?