Change Details

It is mentioned that devmap_print_table() should be called on bootverbose, this adds that.

As indicated in the comments for devmap_print_table(), and to maintain consistency with ARM, call devmap_print_table() on bootverbose.

It is mentioned thatAs indicated in the comments for devmap_print_table() should be called on, and to maintain bootverboseconsistency with ARM, this adds thatcall devmap_print_table() on bootverbose.