That's repeated here so that it's the same as in the other pios_board files.