Some of the temperature sensors of my BCU-1525 seem pretty messed up.
At idle, I see on Vivado Lab Edition:

TEMPERATURE: 92.7
LOWER_OT: 93.5
UPPER_OT:98.4
MAX_TEMPERATURE: -280.2
MIN_TEMPERATURE: 229.1

This cannot be right as the card itself is not even warm to the touch at all.
I confirmed this problem both bitstreams that are available with minerator.
I hope this is not a hardware defect... Could it be a problem with the SYSMON components
of these bitstreams?