Change not needed mako kernel files to proper samsung smdk4412 ones

Probably a typo. Please correct me if I'm wrong Cristiano :).