Library: Pass more options on the Linux kernel command line.