...
However, that's not the end of it. Sometimes this file will not be populate even though it should. For example, if you run the kernel version commands you might find, as in the below example, the updated kernel has not yet taken effect. In this case, a reboot would be required.
...