fix compile error, now everyone can build stock kernel