add BOOT_APPEND to GRUB_CMDLINE_LINUX_DEFAULT