Man pages matching name int6kboot in section 1:

int6kboot.1.en

debian 12 / plc-utils-extra