mksunxiboot: Correct input file size check to reject too large programs