I believe that the 12KB difference in #13 is because I booted the system without the monitor switched on.
I believe that the 12KB difference in #13 is because I booted the system without the monitor switched on.