defconfig: Set SIOPlus as default scheduler