Raúl Porcel 5cf013faa8 Turns out s390 31bit kernel support is going to be dropped in 03/2015 so make s390 use a 64bit kernel instead		2014-10-03 10:04:43 +00:00
..
s390	Turns out s390 31bit kernel support is going to be dropped in 03/2015 so make s390 use a 64bit kernel instead	2014-10-03 10:04:43 +00:00
s390x	Fix confdir path	2014-10-03 09:13:17 +00:00