DEL:CONFIG_VIRTIO_BLK
DEL:CONFIG_VIRTIO_NET
DEL:CONFIG_VIRTIO_CONSOLE
ADD:CONFIG_VIRTIO
DEL:CONFIG_VIRTIO_BALLOON
DEL:CONFIG_VIRTIO_INPUT
ADD:CONFIG_TRUSTY
ADD:CONFIG_TRUSTY_LOG
ADD:CONFIG_TRUSTY_VIRTIO
ADD:CONFIG_TRUSTY_VIRTIO_IPC

