IP53_4CPU board

Reported by 3 machines.