Preparing the kernel (Robert Nelson) for SPI

Hi,

I plan to order a SPI based RTC (D3234) from Watterott as soon as it
is available again.
In the meanwhile a want to configure Robert Nelsons kernel to be ready
for this purpose.
In one of the tutorials regarding SPI and the Beaglebone I read that
-- as soon as the kernel is "SPI-ready" :wink: -- there will be a
according device under /dev.

These are the configuration which are set
in my kernel config

    CONFIG_REGMAP_SPI=y
    CONFIG_OF_SPI=y
    CONFIG_P54_SPI=m
    CONFIG_P54_SPI_DEFAULT_EEPROM=y
    CONFIG_WL12XX_SPI=m
    CONFIG_INPUT_AD714X_SPI=m
    CONFIG_SPI=y
    CONFIG_SPI_MASTER=y
    CONFIG_SPI_BITBANG=m
    CONFIG_SPI_GPIO=m
    CONFIG_SPI_OMAP24XX=y
    CONFIG_SPI_SPIDEV=m
    CONFIG_SND_SPI=y
    CONFIG_SND_SOC_I2C_AND_SPI=y
    CONFIG_RTC_DRV_DS3234=y

(I grepped for 'SPI' and DS3234 only)

But...

In the dmesg I only found this SPI-related:

    [ 0.099822] omap2_mcspi.1: alias fck already exists
    [ 0.099914] omap2_mcspi.2: alias fck already exists

and I dont know what that means...(fck?)...

and nothing, which looks like SPI-related under /dev...

Q: Is my kernel SPI-ready now?

If not, what did I miss here?

Thank you very much in advance for any help!
Best regards,
mcc