Make red_wp76 failed - anyone has a red board running?

You can try the steps here