[gppk]

I work with linux kernel and boot stuff a lot at the moment. That page doesn't tell me at a glance, someone with technical knowhow, what the actual problem is.

If i have to dive into a bunch of mailing list tickets to find out, that isn't very well described.

I'd still be interested in the actual summary of the issue if anyone has it.