Build a sama5d3-xplained kernel.