Changing boot options through kickstart