[syslinux] extlinux reports "./extlinux: path /media/disk doesn't match device /dev/sda4"

[H. Peter Anvin]

Casual Programmer wrote:
> 
> True, but that's no reason to use /dev/sda4 instead,
> or am I mistaken ?
> 

It's certainly going to confuse extlinux, and that's why you get an 
error message.  And no, it really should print out a better error.

	-hpa