ae4b6e8d53
pc98). (While here, remove mention of 80386 custom kernels since support for the 80386 has been removed from CURRENT.) Feedback from: bde, des, imp, jhb