For me, the patch from comment #17 on https://bugs.freedesktop.org/show_bug.cgi?id=12434 solves the keyboard LED problem. Will this (or anything better with the same effect) be included on time, to not have the bug in the 7.0-RELEASE package?