Updated makefile to use object list, moved cp15 out of kernel/boot and into kernel/