[Linaro-acpi] [PATCH] arm64: configs: acpi add missing devices for booting RTSM VE model.