A little of documentation and comment changes
monitor: model.lds.S, use of GUEST_SIZE_MAX instead of constant 0x10