efi.h: Add allocation types for boottime->allocate_pages()