This is a complete non-issue. I'd imagine it's very simple for Google, Bing, etc. to change how they rank headings on an HTML5 page verses something else.
Since HTML5 is still a moving spec, it's worth considering how you structure your header tags depending on how much belief you have that this is what search engines are actually doing, given how important the document outline is to SEO.