add kernel from FADG 4.39A