Passing boot parameters to kernel