Document the ldlinux.c32 PXE issue as known bug