If you are going to the trouble of rendering the kernel arguments separately, you should probably make this a generic file for Ubuntu installation -- move it up out of the `precise` directory into `installers/ubuntu` so that you/we can reference it from multiple installers.