Add configuration for leiro
Use newer linux kernel on leiro