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