lpc-address = 0x2f8
sirq = 3
socket-id = guests
