Explicitly highlight loading linux.ko