Turns out s390 31bit kernel support is going to be dropped in 03/2015 so make s390 use a 64bit kernel instead

This commit is contained in:
Raúl Porcel 2014-10-03 10:04:43 +00:00
parent 1e52334fa4
commit 5cf013faa8
2 changed files with 1 additions and 1458 deletions

File diff suppressed because it is too large Load diff