grub: bring back 00_header and 10_archbsd