armv8: Fix include paths in EFI loader
#include <efi/efi.h>
#include <efi/efilib.h>
#include <multiboot2.h>
-#include "../../include/barrelfish_kpi/types.h"
-#include "../../include/target/aarch64/barrelfish_kpi/arm_core_data.h"
+#include <barrelfish_kpi/types.h>
+#include <barrelfish_kpi/arm_core_data.h>
#include "blob.h"
#include "vm.h"
