Additional boot options could be specified