RDU pretty consistently has cardstock at the counter, I never use the kiosks so no idea about those.
Tried to see if they could print my BP for a VS flight the next morning on a separate ticket since ime JFK usually only has thermal paper and they were nice enough to try.