I don't agree. There's nothing 'informal' about someone under you telling you they're suffering from burnout. It's not a water cooler topic of conversation. Legally, going to HR was the correct thing to do.