Improve documentation of absence-of-padding check

Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>
diff --git a/programs/test/selftest.c b/programs/test/selftest.c
index d2f0c19..f0175b0 100644
--- a/programs/test/selftest.c
+++ b/programs/test/selftest.c
@@ -375,6 +375,9 @@
      * of that unpadded type. For example, for a 4-byte int,
      * MAX_INT should be 0x7fffffff in int32_t. This assumes that
      * CHAR_BIT == 8, which is checked in check_config.h.
+     *
+     * We assume that [u]intxx_t exist and that they don't
+     * have padding bits, as the standard requires.
      */
 
 #define CHECK_PADDING_SIGNED(TYPE, NAME)                                \