Android: splash screen: remove unnecessary padding from 9-patch images