Documentation: Update x86_64/boot-options.txt