Added debug information to find out why kernel does not run on apple driver