Making some changes in the boot sequence and kernel methods that schedule processes