[PATCH] Add alternate option support, to remap things like kernel_options to --kopts