Rework kernel API section

Now that there's a separate section in the manual for the API, just
refer to it briefly.