kernel bug fixed