Added required headers for current kernel