use proper MOUNT_KERNFS macro (since we have it here!)

trivial beautification tweak