[PATCH v6 08/27] x86: efi: Add room for the binman definition in the dtb