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
..
netboot64.config	Update s390 netboot and move files to proper locations	2014-09-17 12:39:26 +00:00