[rhel7/f20/master] Update boot-options.txt.