Currently SMP is initialized, but not used because it causes triple faults, this needs to eventually be sorted out.