[PATCH] x86_64: Some updates for boot-options.txt