[PATCH v4 21/34] x86: efi: Add room for the binman definition in the dtb