now I believe I shall read grub doc grub option, instead of kernel option, hold key to my problem, I think