Performance Tuning Towards a KVM-based Embedded Real-time Virtualization System