Hi,
Could be a minor bug somewhere, you could ask tech support,
my knowledge is not techie enough sorry,
You could try and see if the message goes when you run bios default settings,
But for me if it is working ok,leave it, unless you have a problem in the future,
Merry xmas