@emk2203,
The extension is really of no importance. The “+x” basically means that it’s cross compiled from an Intel server.
With 16 cores and 3 SSD’s it compiles a full kernel in about 10s 
But I want to keep track of which compiler generated the kernel as I’ve had some issues with versions of gcc (byte swap code in certain contexts).
BTW. The kernel with hdd led support is called uImage_4.9.119_hdd_led but you can’t tell from uname.
Both 4.9.99 and 4.9.119 are very stable and there is no reason to upgrade, except for the hdd led activity.
Ewald
