Alexander von Gluck IV 6647d2c95a kernel: fix missing SMP_MAX_CPUS on non-x86 ...

* Regression introduced due to scheduler change
* Drop MAX_BOOT_CPUS as it is no longer used

2014-01-19 14:09:51 -06:00

..

platform_arch.h

…

platform_kernel_args.h

…

platform_stage2_args.h

…