Sources and patchsets for building a kernel for BBB for Ubuntu Core

Someone has offered to build for me an Ubuntu Core image with a kernel build off the mainline Linux kernel. I would like to confirm that it will be more optimal if the mainline kernel build have the patches listed here[1] applied, ie the mainline kernel will have issues running off the BBB.
I would also like to understand in general, the diff between the mainline Linux kernel and the beaglebone kernel[2]. Thanks!

– Luther