[Pager] Minor fixes #1011

Job	Run time
tock-build	57s
arduino:avr:uno	4m 22s
esp-build	2m 59s
arduino:avr:mega	6s
arduino:mbed:nano33ble	6s
rpi-build	43s
arduino:mbed:envie_m4	5s
arduino:megaavr:uno2018	8s
rpi-pico-build	37s
arduino:sam:arduino_due_x	5s
arduino:samd:arduino_zero_native	5s
adafruit:samd:adafruit_feather_m0	5s
adafruit:nrf52:feather52832	5s
esp32:esp32:esp32	7s
esp8266:esp8266:generic	9s
Intel:arc32:arduino_101	8s
SparkFun:apollo3:sfe_artemis	5s
STMicroelectronics:stm32:GenF3:pnum=BLACKPILL_F303CC	7s
STMicroelectronics:stm32:Nucleo_64:pnum=NUCLEO_WL55JC1	7s
stm32duino:STM32F1:mapleMini	5s
MegaCoreX:megaavr:4809	5s
arduino:mbed_rp2040:pico	7s
rp2040:rp2040:rpipico	6s
CubeCell:CubeCell:CubeCell-Board	5s
MegaCore:avr:1281	6s
arduino:renesas_uno:minima	7s
rpi-test	9s
	11m 56s

Provide feedback