Comment 7 for bug 1688158

Boot tested on Thunder-X no regressions.

Loading Linux 4.10.0-20-generic ...
Loading initial ramdisk ...
Ds1337GetDatetime Error Getting TimeEFI stub: Booting Linux Kernel...
EFI stub: EFI_RNG_PROTOCOL unavailable, no randomness supplied
EFI stub: Using DTB from configuration table
EFI stub: Exiting boot services and installing virtual address map...
[ 0.000000] Booting Linux on physical CPU 0x0
[ 0.000000] Linux version 4.10.0-20-generic (buildd@bos01-arm64-006) (gcc version 5.4.0 20160609 (Ubuntu/Linaro 5.4.0-6ubuntu1~16.04.4) ) #23~lp1688158+sru3-Ubuntu SMP Thu May 11 20:54:26 UTC 2017 (Ubuntu 4.10.0-20.23~lp1688158+sru3-generic 4.10.8)
[ 0.000000] Boot CPU: AArch64 Processor [430f0a11]
[ 0.000000] efi: Getting EFI parameters from FDT:
[ 0.000000] efi: EFI v2.40 by American Megatrends
[ 0.000000] efi: ESRT=0x1ffce3ce18 SMBIOS 3.0=0x1ffce3cb18 ACPI 2.0=0x1ffeafd000
[ 0.000000] esrt: Reserving ESRT space from 0x0000001ffce3ce18 to 0x0000001ffce3ce50.

$ uname -a
Linux kosberg 4.10.0-20-generic #23~lp1688158+sru3-Ubuntu SMP Thu May 11 20:54:26 UTC 2017 aarch64 aarch64 aarch64 GNU/Linux

$ cat /proc/cmdline
BOOT_IMAGE=/boot/vmlinuz-4.10.0-20-generic root=UUID=872f9ad6-19e8-48d7-b109-0024974284b6 ro iommu.passthrough=1