[PATCH] bug in read_ldt()? (resent)