[PATCH v5 09/28] x86: efi: Add room for the binman definition in the dtb