Added note about new way of specifying options to kernel.