docbook: don't use serial_core.h in device-drivers book