coreserver: Add serial number to instruction dump message

Signed-off-by: Michael Buesch <m@bues.ch>