Create devices nodes if udev is not running
Rename Initrd/kernel.vexpress to Initrd/kernel.guest
build: mount tmpfs on $BUILD_ROOT/dev/shm

This is required for sem_open to work at all