* We need the board platform for various makefiles we include and for kernel version guards, just require it outright in top level. Change-Id: I1100b2c731e4d5cc8f522641b6ea60e83ec29908
Change-Id: Id37e2af91552fa656b6da5a11c108f1cf027fd88