Update a couple of kernel config file extracts to the latest form
("device" in place of "controller"). The older text is left there
too for people running older versions.