function update_kernel_commandline {

	echo "Updating kernel command line: $*"
	for word; do
		twopence_exec /usr/sbin/sysconf_addword /etc/default/grub GRUB_CMDLINE_LINUX_DEFAULT "$word"
	done
	twopence_exec /sbin/update-bootloader
}
