Pass Linux kernel boot options to the ISO loader.