Yeah but the kernels for a Mk1 and Mk2 are configured differently.

The Mk1 kernel only has the driver for the NatSemi USBN9602 USB chip whilst Mk2 kernels only have the driver for the Philips PDIUSB12 USB chip. If it detects a valid USB chip then the player image is correct for that model. If it doesn't then either something is broken or they've put the wrong player image on.

A Mk2 image will also have support for a SMC9194 ethernet chip.

- Trevor