The old Linux malta kernel is no longer there.
Authored by: debug 2019-06-18
Parent: [r6258]
Child: [r6260]
