Fixup "thread API & CPU session: accounting of CPU quota"

ref #1275
os: add missing include in vea9x4/pl011_defs.h

fix #1303
lxip: signal NETDEV_TX_BUSY if tx queue is full