An updated version of this patch has been merged in commit 049986e27a427d2cdee2d38dc64c786fff37482e (Allow switching and reordering taskbar buttons with keyboard.) This ticket can be closed.