Define __KERN_ORG__ inserted to differenciate between original scheduler and our...