aarch64-arm64 fails to build kernel 12-current raspberry pi 3

[tech-lists]

On 14/07/2018 11:15, Ronald Klop wrote:
> What is RPI3? Mine runs GENERIC and there is no RPI3 config in 
> /usr/src/sys/arm64/conf. I can find RPI2 in sys/arm/conf.

RPI3 is the same as GENERIC-NODEBUG, apart from the ident string which 
is also RPI3. (was mentioned at the start of the thread which branched off)

-- 
J.