Currently a kernel for the aml8726-m3 can't be built since the aml8726-m3 only has an amlogic PIC
(which is also present on the aml8726-m6 and can be used there instead of the GIC).
This patch facilitates the following kernel configs:
Single core using PIC (suitable for aml8726-m3 or -m6):
#options SOC_AML_MULTICORE #options SMP
UP using GIC (suitable for aml8726-m6 and later):
options SOC_AML_MULTICORE #options SMP
SMP using GIC (suitable for aml8726-m6 and later):
options SOC_AML_MULTICORE options SMP