avocado/boot_linux_console.py: check tcg accel in test_ppc64_e500