Patches to RPI userland repo