11-21-2018, 03:17 AM
And another update. I got the Debian image booted again. It seems that reboots require leaving the power off for some indeterminate amount of time before trying again. But once I got to the login prompt, before I logged in, I started getting error messages:
[ 16.542523] cdn-dp fec00000.dp: Direct firmware load for rockchip/dptx.bin failed with error -2
...<several more of the same error>...
[ 128.549802] cdn-dp fec00000.dp: [drm:cdn_dp_request_firmware] *ERROR* Timed out trying to load firmware
[ 16.542523] cdn-dp fec00000.dp: Direct firmware load for rockchip/dptx.bin failed with error -2
...<several more of the same error>...
[ 128.549802] cdn-dp fec00000.dp: [drm:cdn_dp_request_firmware] *ERROR* Timed out trying to load firmware