efi_acpi_serial
efi_acpi_serial("snps,dw-apb-uart", &spcr->base_address, 0x100);
efi_acpi_serial("arm,pl011", &spcr->base_address, 0x1000);
efi_acpi_serial("snps,dw-apb-uart", base_address, address_size);
efi_acpi_serial("arm,pl011", base_address, address_size);