Within the link Klaus told you, you can find this hint:
Perhaps it isn't yet installed. Install it and try update-grub once more. There is no need to edit '/etc/grub.d/40_custom' manually.
...