[PATCH v7 05/24] x86: efi: Add room for the binman definition in the dtb