Could you post a HOWTO on what actually needs to be done to get oops logs out of the device (including any changes needed to the kernel config). I haven't really done any kernel debugging before so I have no idea and figuring it out by myself will take too long (I have other things to do)