The advanced configurations page for both regular Kickstarts and Guest provisioning needs to have an overrides text box for Post Kernel parameters.
This is done.