IP53_2CPU board

Reported by 1 machine.