My PS4 sometimes has no audio on startup (found a way to quickly fix it)

[HokageTenshi]

this happen to my PS3 several time too, what i do is go to sound setting redo the output and will be fine, but whether is it TV HDMI input problem or not then i'm not sure since it doesn't bother me much...