This got me wondering if something like that already existed, and I found out that Dunkin' Donuts (screw the stupid rename) makes caffeinated cereal now. I really should have noticed before now, but it debuted in 2020 so I guess I must have been distracted.
Obviously I must find a box and give you my full report.