Add boot-loader beri.h, possibly missed during git migration.