After many days of scratching my head, I have finally gotten my son's quad board to partially boot. I can see the output from the serial...
Separate names with a comma.