Tried both of those kernels. Neither one booted. I'll try to get some info on the actual issue after some meetings today.
Tried both of those kernels. Neither one booted. I'll try to get some info on the actual issue after some meetings today.