support RPi's reporting as revision number '000f'

Signed-off-by: Davide Madrisan <davide.madrisan@gmail.com>
code reformatting

Signed-off-by: Davide Madrisan <davide.madrisan@gmail.com>