add .BoardConfig.mk package-file

hc

2023-05-31 43fd8d44e8182b691c8ee61d487cec02ca11afd2

1
2
3
4
5
#include <asm/segment.h>
#include <asm/msr.h>
#include <asm/processor-flags.h>
 
#include "../../platform/efi/efi_stub_64.S"