[rhel7/f20/master] Tiny changes to boot-options.txt