Yellow/green usually indicates a bacterial infection. Maybe get it checked out to be sure?
Does he eat lots of dairy, as this can increase mucous production too?