[PATCH v3 22/35] x86: efi: Add room for the binman definition in the dtb