arm, davinci: Use CONFIG_SPL_PAD_TO for padding the SPL in an ais image