Text this: Semidefinite Optimization Providing Guaranteed Bounds on Linear Functionals of Solutions of Linear Integral Equations with Smooth Kernels