Fixed kernel headers