Minor correction to the description of bcm kernel.

Reference: /n/sources/patch/applied/bcm-doc
Date: Thu Feb 21 21:19:45 CET 2013
Signed-off-by: miller@hamnavoe.com

--- /sys/doc/port.ms	Thu Feb 21 21:19:02 2013
+++ /sys/doc/port.ms	Thu Feb 21 21:18:56 2013
@@ -294,10 +294,10 @@
 .SH
 The Broadcom 2835 operating system
 .PP
-This is terminal and CPU kernels for the ARM1176 processor
+This is a terminal and CPU kernel for the ARM1176 processor
 in the Broadcom 2835 system-on-a-chip.
 The hardware includes VFP2 floating-point.
-It runs on the Raspberry Pi Model B.
+It runs on the Raspberry Pi Models A and B.
 .
 .ig
 .SH