ACPI: use memory_read_from_buffer()