It's going to clutter QEMU logs if 0x0f00 is trapped.
Signed-off-by: NRoman Bolshakov <r.bolshakov@yadro.com>
Message-Id: <20181203100415.53027-2-r.bolshakov@yadro.com>
Signed-off-by: NLaurent Vivier <laurent@vivier.eu>