public int getHeaderSize() {
		return header_size;
	}
Returns the Device Tree (DT) header size.
@return the Device Tree (DT) header size
Ghidra/Features/FileFormats/src/main/java/ghidra/file/formats/dtb/DtTableHeader.java