twenty twelve custom header not pluggable/filterable by child themes

[adamrice]

Child themes cannot cleanly alter the header styling output from the twenty twelve theme in inc/custom-header.php

I propose a change from

function honyaku_header_style()

to

if ( ! function_exists( 'function honyaku_header_style' ) ) :
function honyaku_header_style()
...