What command is used to permanently set the options in the kernel when making a boot disk?