Considering the ad revenue from mobiles are way less than that on the web, The question is how long before Google starts selling push notification ad placements?