hdmi {
status = "disabled";
};
memory {
device_type = "memory";
reg = <0x80000000 0x20000000>; /* 512 MB */