IP45_4CPU board

Reported by 2 machines.