os: add missing include in vea9x4/pl011_defs.h

fix #1303