sc92031: more useful banner in kernel log