Fix syntax errors and warnings emitted by the GPL dtc.
When reading physical memory, make sure to access it using the right
memory attributes. The same applies to the mmap(2) interface. Not
doing so results in machine checks.

We find the memory attributes in the EFI memory map, as queried by
mem_phys2virt().