[2411] Accept MADT and SRAT from the host via DevicePlatformSettings … #423

Job	Run time
xtask fmt (linux)	2m 14s
unit tests [aarch64-windows]	8m 40s
test flowey local backend	3m 8s
clippy [linux, macos], unit tests [x64-linux]	11m 55s
build artifacts (not for VMM tests) [aarch64-windows]	4m 53s
build artifacts (for VMM tests) [aarch64-windows]	16m 47s
clippy [windows], unit tests [x64-windows]	18m 24s
build artifacts (not for VMM tests) [x64-windows]	5m 50s
build artifacts (for VMM tests) [x64-windows]	15m 57s
build artifacts [aarch64-linux]	5m 54s
build artifacts [x64-linux]	6m 43s
build openhcl [aarch64-linux]	7m 49s
build openhcl [x64-linux]	9m 43s
clippy [linux-musl, misc nostd], unit tests [x64-linux-musl]	11m 0s
xtask fmt (windows)	6m 59s
run vmm-tests [x64-windows-amd]	8m 18s
run vmm-tests [x64-windows-intel]	6m 47s
run vmm-tests [x64-linux]	3m 24s
run vmm-tests [aarch64-windows]	5m 45s
	2h 40m 10s

Provide feedback