The 'option SMP' isn't added to the kernel config yet; people wanting to test this have to opt-in for now.
memory at the end of the kernel. This helps reduce the SoC and board specific configuration required. Reviewed by: bsdimp Tested by: jmg (armeb), br