That should be more than enough to get you started configuring the kernel by hand. That's based on the drivers I have loaded on mine (I am not using display output functionality, which I haven't wired up in the mainline devicetree anyway).