Fix prebuilt kernel include files