fix for issue 21 on firmware repo

this is a simply fix i found for https://github.com/raspberrypi/firmware/issues/21