Page values for "KR Pico hardware"