Added additional Linux kernel boot options.