#include <common.h>
#include <linux/compiler.h>
#include <asm/barebox-arm-head.h>
void __naked __section(.flash_header_start) go(void)
{
barebox_arm_head();
}