[OS-BUILD PATCH 0/0] Support RPi4 series of devices