Given that it boots to the kernel, but the kernel can't setup the drm device, I'm inclined to believe this is a kernel bug.
Given that it boots to the kernel, but the kernel can't setup the drm device, I'm inclined to believe this is a kernel bug.