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