ARM: deprecate support for old way to pass kernel parameters