ADD:CONFIG_VIRTIO
ADD:CONFIG_TRUSTY
ADD:CONFIG_TRUSTY_LOG
ADD:CONFIG_TRUSTY_VIRTIO
ADD:CONFIG_TRUSTY_VIRTIO_IPC

DEL:CONFIG_VIRTIO_BLK
DEL:CONFIG_SCSI_VIRTIO
DEL:CONFIG_VIRTIO_NET
DEL:CONFIG_VIRTIO_CONSOLE
DEL:CONFIG_HW_RANDOM_VIRTIO
DEL:CONFIG_VIRTIO_BALLOON
DEL:CONFIG_VIRTIO_INPUT
