Remove advertising header from sys/

Correct BSD License clause numbering from 1-2-4 to 1-2-3.

Some less clear cases taken as it was done of FreeBSD.

vkernel64: Do some more replacing amd64 -> x86_64.

This reduces differences with the non-vkernel 64 bit code.

Add platform vkernel64.