I can't seem to find any documentation on this setting. Can you try each setting one at a time and see if makes a difference? Perhaps the bios changes the way it presents these keys to the O/S based on some criteria. When you boot after each change, check to see if the xev event from post #4 picks up the function keys.