There is no problem here.
Linux version 4.18.13-041813-generic (kernel@gloin) (gcc version 8.2.0 (Ubuntu 8.2.0-7ubuntu1)) #201810100332 SMP Wed Oct 10 07:34:55 UTC 2018 [ 0.000000] Command line: BOOT_IMAGE=/boot/vmlinuz-4.18.13-041813-generic root=UUID=abd604e5-aa0b-4b30-8657-39b462df9afb ro quiet splash ivrs_ioapic[4]=00:14.0 ivrs_ioapic[5]=00:00.2
This is a default mainline kernel.
There is no problem here.
Linux version 4.18.13- 041813- generic (kernel@gloin) (gcc version 8.2.0 (Ubuntu 8.2.0-7ubuntu1)) #201810100332 SMP Wed Oct 10 07:34:55 UTC 2018 /boot/vmlinuz- 4.18.13- 041813- generic root=UUID= abd604e5- aa0b-4b30- 8657-39b462df9a fb ro quiet splash ivrs_ioapic[ 4]=00:14. 0 ivrs_ioapic[ 5]=00:00. 2
[ 0.000000] Command line: BOOT_IMAGE=
This is a default mainline kernel.