VCHIQ interface driver is working now

Linux VCHIQ driver slightly modified to work with Circle
VCHIQ bulk transfers do not work so far (currently not needed)

Linux kernel device driver emulation code added to addon/linux/

VCHIQ support does currently not work with STDLIB_SUPPORT=0