RPi SD Card corruption, a new kernel, device trees and a lesson learned ...