[PATCH v8 27/37] arm: mach-bcm283x: Bring in some header files from tianocore