[dhclient.conf] Add options-* definitions in /etc/dhclient.conf so that options are actually recognized.