[solved] WNDR3700V4 5ghz radio1 not available

I recently installed LEDE from dd-wrt using the default configuration and appeared to lost access to the 5ghz radio. Does anyone have any clue to re enable the 5ghz band?

EDIT: Solved, I just had to do a complete power cycle