Add additional kernel command line properties, needed by AICP kernel.