make it gcc 4.7 compatible (just added a cast from void* malloc to k8055_device*