fixed a bpc kernel bug