Description of problem:

If I try to add kernel options with drakboot, nothing is written to /etc/default/grub. In fact the line "GRUB_CMDLINE_LINUX_DEFAULT=" splash quiet noiswmd resume=UUID=...." is the same as before.

After manual editing /etc/default/grub (and perhaps before, too?) the actual content of the line ""GRUB_CMDLINE_LINUX_DEFAULT=..." is not shown in the field "Append" (kernel options) in drakboot, too (instead you see the default options or nothing).