microvm → core Relation

File in src/kernelarchx86_64boardmicrovm	Includes file in src/kernelarchx86_64core
arch / kernel.c	port.h